Master Computer Science



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


Thesis details

Title A precise foundation for modular refinement in MSC
Student Folker den Braber
Programme Master Computer Science
Year 2001

Citation details

Folker den Braber, A precise foundation for modular refinement in MSC, Thesis Master Computer Science, Leiden University, 2001.