Verifying OCL Specifications of UML models

Additional Metadata
THEME	Software (theme 1)
Promotor	J.N. Kok (Joost) , W.P. de Roever
Degree Grantor	Universiteit Leiden
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Kyas, M. (2006, April 4). Verifying OCL Specifications of UML models.

Publication