講演・口頭発表等

2019年3月14日

Completeness of Cyclic Proofs for Symbolic Heaps with Cone Inductive Definitions