Refinement type checking via assertion checking
Ryosuke Sato, Kazuyuki Asada, Naoki Kobayashi
研究成果: Article › 査読
2
被引用数
(Scopus)