B
Bernhard Beckert
10 works on record
Works
Formal Verification of Object-Oriented Software
Formal Verification Of Objectoriented Software International Conference Revised Selected Papers
Verification of object-oriented software
Formal Methods for Components and Objects
Logic of Software. a Tasting Menu of Formal Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Deductive Software Verification - the KeY Book
Deductive Software Verification - the KeY Book
2016
Verification of Object-Oriented Software. the KeY Approach
Verification of Object-Oriented Software. the KeY Approach
2007
Deductive Software Verification : Future Perspectives
Deductive Software Verification : Future Perspectives
Tests and Proofs
Tests and Proofs