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

Title Automated Verification of Pointer Programs
Student Jurriaan Rot
Programme Master Computer Science
Year 2011
Thesis Open Thesis PDF

Citation details

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