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

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

Seite(n): 15 SeitenReport-Nummer: 2017-14

Autorinnen und Autoren

Autorinnen und Autoren

Huisman, Marieke
Noll, Thomas
Tatsuta, Makoto

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-222826