Article citationsMore>>
H. Miao, L. Liu and L. Li, “Formalizing UML Models with Object-Z,” Proceedings of 4th International Conference on Formal Methods and Software Engineering, London, Vol. 2495, 2002, pp. 523-534.
http://dx.doi.org/10.1007/3-540-36103-0_53
has been cited by the following article:
Related Articles:
-
Birgit Vogel-Heuser
-
Tafsir Malick Ndiaye
-
Anestakis Doxakis, Argyraki Maria, Petanidis Savvas, Iakovidou-Kritsi Zafiroula
-
Rose E. Constantino, Ayman M. Hamdan-Mansour, Amanda Henderson, Bonnie Noll-Nelson, Willa Doswell, Betty Braxter
-
Petr Ya. Ekel, Illya V. Kokshenev, Roberta O. Parreiras, Gladstone B. Alves, Paulo M. N. Souza