Master Computer Science

The following thesis was written by a student in the 2011 class of the Master Computer Science programme at Leiden University.

Thesis details

TitleAutomated Verification of Pointer Programs
StudentJurriaan Rot
ProgrammeMaster Computer Science
Thesis Open Thesis PDF

Citation details

Jurriaan Rot, Automated Verification of Pointer Programs, Thesis Master Computer Science, LIACS, Leiden University, 2011.