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

TitleImplementing a Model Checker for Simple Recursive Languages
StudentRijn, S. (Sander) van
ProgrammeBachelor Informatica
Year2012-2013
SupervisorsBonsangue, prof.dr. M.M. (Marcello)
Thesis Open Thesis PDF

Citation details

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