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

Title Verifying OCL specifications of UML models
Student M. Kyas
Programme PhD Computer Science
Year 2006
More information Thesis information

Citation details

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