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
StudentKyas, M. (Marcel)
ProgrammePhD Computer Science
Year2006
SupervisorsKok, prof.dr. J.N. (Joost)
prof.dr. W.-P. de Roever, Kiel (promotor)
Boer, prof.dr. F.S. (Frank) de
More information Thesis information

Citation details

Kyas, M. (Marcel), Verifying OCL Specifications of UML Models, Thesis PhD Computer Science, LIACS, Leiden University, 2006.