Formal Methods for Object-Oriented Software Engineering

Mahesh Dodani. Formal Methods for Object-Oriented Software Engineering. Ann. Software Eng., 2:121-160, 1996.

Abstract

Abstract is missing.