Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
APLAS 2019 (series) / Makoto Tatsuta
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 2019Ordinary PC member in Program Committee within the Research Papers-track
Author of Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions within the Research Papers-track
Show activities from other conferences

APLAS 2019-profile
View general profile