A proposal for a formal OCL semantics in Isabelle/HOL (2002)

by A D Brucker, B Wolff
Venue:In TPHOLs ’02: Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics