Roger Duke, Paul King, Gordon A. Rose, Graeme Smith. Associated Paper: The Object-Z Specification Language. In Timothy D. Korson, Vijay Vashnavi, Bertrand Meyer, editors, TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA. pages 465-484, Prentice Hall, 1991.
No references recorded for this publication.
No citations of this publication recorded.