Towards a formalization of UML class structures in Z.

Malcolm Shroff, Robert B. France

Browse the full COMPSAC paper archive.