Verifying Programs that Manipulate Pointers (Invited Talk)

Activity: Talk or presentation typesLecture and oral contribution

See relations at Aarhus University

Anders Møller - Invited speaker

  • Department of Computer Science
2004

Event (Conference)

TitleVerifying Programs that Manipulate Pointers (Invited Talk)
Date17/12/2010 → …

ID: 282997