@phdthesis{oai:ir.soken.ac.jp:00006344,
 author = {和賀, 正樹 and ワガ, マサキ and WAGA, Masaki},
 month = {2020-11-11, 2021-01-31},
 note = {application/pdf, 総研大甲第2198号},
 school = {総合研究大学院大学},
 title = {Empowering Runtime Verification with Polyhedra（多面体による実行時検証の発展）},
 year = {}
}