Sciweavers

Share
FASE
2008
Springer

HOL-OCL: A Formal Proof Environment for UML/OCL

9 years 29 days ago
HOL-OCL: A Formal Proof Environment for UML/OCL
Achim D. Brucker, Burkhart Wolff
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where FASE
Authors Achim D. Brucker, Burkhart Wolff
Comments (0)
books