Enhancing Object-Oriented Methods with Formal Notations

Kevin Lano. Enhancing Object-Oriented Methods with Formal Notations. TAPOS, 2(4):247-268, 1996.

Abstract

Abstract is missing.