Bachelor Informatica



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


Thesis details

Title Describing Heaps using Kleene algebra with Tests
Student Werf, U.M. van der
Programme Bachelor Informatica
Year 2015-2016
Thesis Open Thesis PDF

Citation details

Werf, U.M. van der, Describing Heaps using Kleene algebra with Tests, Thesis Bachelor Informatica, Leiden University, 2016.