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