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
StudentRot, J.C. (Jurriaan)
ProgrammeMaster Computer Science
Year2011
SupervisorsBoer, prof.dr. F.S. (Frank) de
Bonsangue, prof.dr. M.M. (Marcello)
Thesis Open Thesis PDF

Citation details

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