Associated Paper: The Object-Z Specification Language

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.

Abstract

Abstract is missing.