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.

Bibliographies