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

TitleA precise foundation for modular refinement in MSC
StudentFolker den Braber
ProgrammeMaster Computer Science
Year2001

Citation details

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