Bachelor Informatica



The following thesis was written by a student in the 2012-2013 class of the Bachelor Informatica programme at Leiden University.


Thesis details

Title Implementing a Model Checker for Simple Recursive Languages
Student Sander van Rijn
Programme Bachelor Informatica
Year 2012-2013
Thesis Open Thesis PDF

Citation details

Sander van Rijn, Implementing a Model Checker for Simple Recursive Languages, Thesis Bachelor Informatica, Leiden University, 2013.