Skip to content

Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL.

Achim D. Brucker, Burkhart Wolff

VenueAMODELS
Year2012
ProceedingsOCL@MoDELS

Browse the full MODELS paper archive.