@phdthesis{oai:ir.soken.ac.jp:00006529,
 author = {内藏, 理史 and クラ, サトシ and Satoshi, KURA},
 month = {2022-05-10, 2022-05-13},
 note = {application/pdf, 総研大甲第2326号},
 school = {総合研究大学院大学},
 title = {Semantic Refinements for Program Verification(プログラム検証のための意味論精細化)},
 year = {}
}