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

Achim D. Brucker, Burkhart Wolff

Browse the full FASE paper archive.