The Combination of Specifications and the Induced Relations in Object Oriented Programs

G. Steve Hirst, T. B. Dinesh. The Combination of Specifications and the Induced Relations in Object Oriented Programs. In Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo, editors, Algebraic Methodology and Software Technology (AMAST 91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991. Workshops in Computing, pages 70-77, Springer, 1991.

Abstract

Abstract is missing.