APLAS 2019 (series) / Makoto Tatsuta
Registered user since Mon 4 Mar 2019
Name:Makoto Tatsuta
Affiliation:National Institute of Informatics
Personal website:http://research.nii.ac.jp/~tatsuta/index-e.html
Contributions
| APLAS 2019 | Ordinary PC member in Program Committee within the Research Papers-track Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
APLAS 2019-profile
View general profile
View general profile