Bernhard Beckert
Bernhard Beckert
8 books in the database
Books
Formal Methods for Components and ObjectsBernhard Beckert
Formal Methods for Components and Objects
Bernhard Beckert · 2013
Formal Verification of Object-Oriented SoftwareBernhard Beckert
Formal Verification of Object-Oriented Software
Bernhard Beckert · 2012
Formal Verification of Object-Oriented SoftwareBernhard Beckert
Formal Verification of Object-Oriented Software
Bernhard Beckert · 2011
Verification of object-oriented softwareBernhard Beckert
Verification of object-oriented software
Bernhard Beckert · 2007
Automated Reasoning with Analytic Tableaux and Related MethodsBernhard Beckert
Automated Reasoning with Analytic Tableaux and Related Methods
Bernhard Beckert · 2005
Formal Verification Of Objectoriented Software International Conference Revised Selected PapersBernhard Beckert
Formal Verification Of Objectoriented Software International Conference Revised Selected Papers
Bernhard Beckert · 2012
Tests and ProofsBernhard Beckert
Tests and Proofs
Bernhard Beckert · 2008
Verification of Object-Oriented Software. the KeY ApproachBernhard Beckert
Verification of Object-Oriented Software. the KeY Approach
Bernhard Beckert · 2007
Co-authored books and collections
Books that list Bernhard Beckert among their authors but not as the lead author: co-written works, collections and compilations.
Logic of Software. a Tasting Menu of Formal MethodsWolfgang Ahrendt
Logic of Software. a Tasting Menu of Formal Methods
Wolfgang Ahrendt · 2022
Deductive Software Verification : Future PerspectivesWolfgang Ahrendt
Deductive Software Verification : Future Perspectives
Wolfgang Ahrendt · 2020
Deductive Software Verification - the KeY BookWolfgang Ahrendt
Deductive Software Verification - the KeY Book
Wolfgang Ahrendt · 2017