@inproceedings{oai:tsukuba.repo.nii.ac.jp:00029119,
 author = {海野, 広志 and UNNO, Hiroshi and Terauchi, Tachio and Kobayashi, Naoki},
 book = {Proceeding POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 month = {Jan},
 pages = {75--86},
 publisher = {ACM},
 title = {Automating relatively complete verification of higher-order functional programs},
 year = {2013},
 yomi = {ウンノ, ヒロシ}
}