Bernhard Beckert
4 published titles
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 9783540289319
- Springer
- 2005
- Details
Verification of object-oriented software : the KeY approach
1 edition
- ISBN: 9783540689775
- Springer
- 2007
- Details
Formal verification of object-oriented software : international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642317613
- Springer
- 2012
- Details
Formal methods for components and objects : 10th international symposium, FMCO 2011, Turin, Italy, October 3-5, 2011 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642358869
- Springer
- 2013
- Details
