A formal denotational semantics of UML in Object-Z

Soon-Kyeong Kim, David A. Carrington. A formal denotational semantics of UML in Object-Z. L OBJET, 7(1):323-362, 2001.

Possibly Related Publications

The following publications are possibly variants of this publication: