Verifying Programs that Manipulate Pointers

Activity: Talk or presentation typesLecture and oral contribution

See relations at Aarhus University

Anders Møller - Lecturer

  • Department of Computer Science
2 Sep 2003

Event (Conference)

TitleWorkshop on Verification of Infinite-State Systems, INFINITY 2003
Date02/09/200302/09/2003
CountryFrance

ID: 18162473