A proposal for a formal ocl semantics in isabelle/hol (2002)

by Achim D Brucker, Burkhart Wolff
Venue:In Proceedings 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002