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.

Authors

Soon-Kyeong Kim

This author has not been identified. Look up 'Soon-Kyeong Kim' in Google

David A. Carrington

This author has not been identified. Look up 'David A. Carrington' in Google