Login / Signup

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

Achim D. BruckerBurkhart Wolff
Published in: FASE (2008)
Keyphrases