Beckert, Bernhard.
Bernhard Beckert
VIAF ID: 37577082 ( Personal )
Permalink: http://viaf.org/viaf/37577082
Preferred Forms
- 100 1 _ ‡a Beckert, Bernhard
-
-
- 100 1 _ ‡a Beckert, Bernhard
-
- 100 1 _ ‡a Beckert, Bernhard
-
-
- 100 1 _ ‡a Beckert, Bernhard
- 100 1 _ ‡a Beckert, Bernhard
-
- 100 0 _ ‡a Bernhard Beckert
4xx's: Alternate Name Forms (1)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings | |
Deductive Software Verification - The KeY Book : From Theory to Practice | |
FMCO 2011. | |
Formal methods for components and objects : 10th international symposium, FMCO 2011, Turin, Italy, October 3-5, 2011 : revised selected papers | |
The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday | |
Policy iteration for value set analysis of PLC programs | |
TAP 2008 | |
Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings | |
Verification of object-oriented software : the KeY approach |