Master Computer Science



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


Thesis details

Title Automatic Program Verification in Mist
Student Stijn de Gouw, Michiel Helvensteijn
Programme Master Computer Science
Year 2009

Citation details

Stijn de Gouw, Michiel Helvensteijn , Automatic Program Verification in Mist, Thesis Master Computer Science, Leiden University, 2009.