Towards the Completion of the Formal Semantics of OCL 2.0.

Stephan Flake Towards the Completion of the Formal Semantics of OCL 2.0. 73-82 2004 conf/acsc/2004 ACSC http://crpit.com/confpapers/CRPITV26Flake.pdf db/conf/acsc/acsc2004.html#Flake04