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.

@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},
}