M. Shroff

发表

Towards a formalization of UML class structures in Z

Robert B. France, Malcolm Shroff, R. France, 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).