S. Sengupta and S. Bhattacharya, “Formalization of UML Diagrams and Consistency Verification: A Z Notation Based Approach,” Proceedings of India Software Engineering Conference, 2008, pp. 151-152.
has been cited by the following article:
Related Articles: