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.
@incollection{LiuDMS01, title = {Linking UML with Integrated Formal Techniques}, author = {Jing Liu and Jin Song Dong and Brendan P. Mahony and Kun Shi}, year = {2001}, tags = {UML}, researchr = {https://researchr.org/publication/LiuDMS01}, cites = {0}, citedby = {0}, pages = {210-223}, booktitle = {Unified Modeling Language: Systems Analysis, Design and Development Issues}, }