On Object-Oriented Design and Verification

Claus Lewerentz, Thomas Lindner, Andreas Rüping, Emil Sekerinski. On Object-Oriented Design and Verification. In Manfred Broy, Stefan Jähnichen, editors, KORSO - Methods, Languages, and Tools for the Construction of Correct Software. Volume 1009 of Lecture Notes in Computer Science, pages 92-111, Springer, 1995.


Abstract is missing.