Marieke Huisman, Thomas Noll, Makoto Tatsuta. Analysis and Verification of Pointer Programs (NII Shonan Meeting 2017-14). NII Shonan Meet. Rep., 2017, 2017. [doi]
@article{HuismanNT17,
title = {Analysis and Verification of Pointer Programs (NII Shonan Meeting 2017-14)},
author = {Marieke Huisman and Thomas Noll and Makoto Tatsuta},
year = {2017},
url = {http://shonan.nii.ac.jp/shonan/report/no-2017-14/},
researchr = {https://researchr.org/publication/HuismanNT17},
cites = {0},
citedby = {0},
journal = {NII Shonan Meet. Rep.},
volume = {2017},
}