Automated Reasoning with Analytic Tableaux and Related Methods

Formal Methods for Components and Objects

Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software

Verification of object-oriented software

Formal Verification Of Objectoriented Software International Conference Revised Selected Papers

Tests and Proofs

Verification of Object-Oriented Software. the KeY Approach