Languages (acm D.2.1.1)
Software (theme 1)
Elsevier
Electronic Notes in Theoretical Computer Science
Workshop on Semantic Foundations of Engineering Design Languages
Computer Security

de Boer, F.S. (2005). Formalizing UML Models and OCL Constraints in PVS. In Electronic Notes in Theoretical Computer Science (Vol. 115). Elsevier.