Roger Duke. Formal Methods for the Design and Specification of Object-Oriented Systems. In Christine Mingins, William Haebich, John Potter, Bertrand Meyer, editors, Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, Melbourne 1993. Incorporating the proceedings of Tools 9, Sydney 1992. pages 324, Prentice Hall, 1993.
No references recorded for this publication.
No citations of this publication recorded.