Soon-Kyeong Kim, David A. Carrington, Roger Duke. A Metamodel-based transformation between UML and Object-Z. In 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy. pages 112-119, IEEE Computer Society, 2001. [doi]
Abstract is missing.