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