Automating relatively complete verification of higher-order functional programs

Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi

研究成果: Article査読

11 被引用数 (Scopus)

フィンガープリント

「Automating relatively complete verification of higher-order functional programs」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。