Additional Metadata
ACM Languages (acm D.2.1.1)
THEME Software (theme 1)
Publisher Elsevier
Journal Electronic Notes in Theoretical Computer Science
Conference Workshop on Semantic Foundations of Engineering Design Languages
Citation
de Boer, F.S. (2005). Formalizing UML Models and OCL Constraints in PVS. In Electronic Notes in Theoretical Computer Science (Vol. 115). Elsevier.