Integrating Object-Oriented Design and Deductive Verification of Software.

Bernhard Beckert, Reiner Hhnle, Peter H. Schmitt

Browse the full SEFM paper archive.