Automating relatively complete verification of higher-order functional programs
Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi
研究成果: Article › 査読
11
被引用数
(Scopus)