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

Huisman, Marieke; Noll, Thomas; Tatsuta, Makoto

Tokyo, Japan : National Institute of Informatics (2017)
Report (Brochure)

In: NII Shonan Meeting Report 2017-04
Page(s)/Article-Nr.: 15 SeitenReport number: 2017-14

Identifier