Organizers - No.100 Analysis and Verification of Pointer Programs

Jul 1, 2017

Organizers

Marieke Huisman, University of Twente, Enschede, Netherlands
Thomas Noll, RWTH Aachen University, Germany
Makoto Tatsuta, National Institute of Informatics, Japan

Category: Uncategorized

Tagged:

Comments are closed.