Books by Bernhard Beckert
Logic of Software. a Tasting Menu of Formal Methods
Deductive Software Verificatio
Deductive Software Verification : Future Perspectives
Deductive Software Verificatio
Deductive Software Verification - the KeY Book
Formal Verification Of Objectoriented Software International Conference Revised Selected Papers
Formal Verification of Object-Oriented Software
Verification of object-oriented software
Verification of Object-Oriente
Verification of Object-Oriented Software. the KeY Approach