A Proposal for a Formal OCL Semantics in Isabelle/HOL (2002)

by Achim D. Brucker , Burkhart Wolff
Venue:THEOREM PROVING IN HIGHER ORDER LOGICS, LNCS 2410
Citations:21 - 7 self