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
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.