2006-04-04
Verifying OCL Specifications of UML models
Publication
Publication
Additional Metadata | |
---|---|
Software (theme 1) | |
J.N. Kok (Joost) , W.P. de Roever | |
Universiteit Leiden | |
Kyas, M. (2006, April 4). Verifying OCL Specifications of UML models.
|