Analysis and Verification of Pointer Programs : October 2-5, 2017

Tokyo, Japan / National Institute of Informatics (2017) [Report]

Page(s): 15 SeitenReport number: 2017-14

Authors

Authors

Huisman, Marieke
Noll, Thomas
Tatsuta, Makoto

Identifier

  • REPORT NUMBER: RWTH-CONV-222826