Formal Semantics of OCL Messages

Stephan Flake, Wolfgang Müller 0003. Formal Semantics of OCL Messages. Electronic Notes in Theoretical Computer Science, 102:77-97, 2004. [doi]

Authors

Stephan Flake

This author has not been identified. Look up 'Stephan Flake' in Google

Wolfgang Müller 0003

This author has not been identified. Look up 'Wolfgang Müller 0003' in Google