PhD Computer Science



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


Thesis details

TitleVerifying OCL specifications of UML models
StudentM. Kyas
ProgrammePhD Computer Science
Year2006
More information Thesis information

Citation details

M. Kyas, Verifying OCL specifications of UML models, Thesis PhD Computer Science, LIACS, Leiden University, 2006.