Bachelor Informatica



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


Thesis details

Title Dynamic Reductions for More Efficient Software Verification
Student Steffens, B.
Programme Bachelor Informatica
Year 2017-2018
Thesis Open Thesis PDF

Citation details

Steffens, B., Dynamic Reductions for More Efficient Software Verification, Thesis Bachelor Informatica, Leiden University, 2018.