Publications

Publications for Makoto Tatsuta

2017
Link
[bibtex]
Marieke Huisman, Thomas Noll, Makoto Tatsuta. Analysis and Verification of Pointer Programs. Technical report at National Institute of Informatics number 2017-14, 2017.
Show all