Linking UML with Integrated Formal Techniques

Jing Liu, Jin Song Dong, Brendan P. Mahony, Kun Shi. Linking UML with Integrated Formal Techniques. In Unified Modeling Language: Systems Analysis, Design and Development Issues. pages 210-223, 2001.

Abstract

Abstract is missing.