@phdthesis{oai:ir.soken.ac.jp:00005508,
 author = {AL AMEEN	, Mahmudul Faisal and アル アミーン		, マハムドゥル ファイサル and AL AMEEN	, Mahmudul Faisal},
 month = {2016-12-02, 2017-04-18},
 note = {application/pdf, 総研大甲第1889号},
 school = {総合研究大学院大学},
 title = {Completeness of Verification System with Separation Logic for Recursive Procedures（再帰手続きに対する分離論理による検証体系の完全性）},
 year = {}
}