Additional Metadata
THEME Software (theme 1)
Publisher Elsevier
Journal Electronic Notes in Theoretical Computer Science
Citation
Kyas, M, Fecher, H, de Boer, F.S, Jacob, J.F, Hooman, J, van der Zwaag, M.B, … Kugler, H. (2005). Formalizing UML Models and OCL Constraints in PVS. Electronic Notes in Theoretical Computer Science , 115, 39–47.