M. Shroff and R. B. France, “Towards Formalization of UML Class Structures in Z,” 21st International Conference on Computer Software and Applications, Washington, 11-15 August 1997, pp. 646-651.
has been cited by the following article:
Related Articles: