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: