Taclets: a new paradigm for constructing interactive theorem povers

Veröffentlicht in Winter, Andreas Exchanging business process models with GXL (2004)

Verification of object-oriented software : the KeY approach

Veröffentlicht 2007

TABLEAUX 2005 : position papers and tutorial descriptions ; [papers presented at the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (T...

Veröffentlicht 2005

Konzeption und Implementierung von Gleichheit für einen tableau-basierten Theorem-Beweiser

von Beckert, Bernhard
Veröffentlicht 1992

Garmisch-Partenkirchen und Umgebung : Bavarian Alps. Bayerische Alpen. Orig.-Aufnahmen v. B[ernhard] Johannes. Gewidmet vom Verkehrs- u. Sportverein Partenkirchen, vom Verkehrs-...

Veröffentlicht 1927

Im Berchtesgadener Land : der Kahlersberg

Veröffentlicht 1931

Garmisch-Partenkirchen und Umgebung : Bavarian alps / Bayerische Alpen

Veröffentlicht 1927

Incremental theory reasoning methods for semantic tableaux

von Beckert, Bernhard
Veröffentlicht 1996

Proving compiler correctness with evolving algebra specifications

von Beckert, Bernhard
Veröffentlicht 1996

Free variable tableaux for propositional modal logics

von Beckert, Bernhard
Veröffentlicht 1996

Specifying Framing Conditions for Smart Contracts

von Beckert, Bernhard
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)

Lean EA : a poor man's evolving algebra compiler

von Beckert, Bernhard
Veröffentlicht 1995

Formal specification of security-relevant properties of user-interfaces

von Beckert, Bernhard
Veröffentlicht in Winter, Andreas Exchanging business process models with GXL (2004)

Formal verification of object-oriented software : international conference, FoVeOOS 2011, Turin, Italy, October 5 - 7, 2011 ; revised selected papers

Veröffentlicht 2012

Formal methods for components and objects : 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers

Veröffentlicht 2013

Tests and proofs : papers presented at the Second International Conference TAP 2008, Prato, Italy, April 2008

Veröffentlicht 2008

Zur Erinnerung an Garmisch-Partenkirchen : den Schauplatz der IV. Olympischen Winterspiele 1936

Veröffentlicht 1936

Smart Contracts: Application Scenarios for Deductive Program Verification

von Beckert, Bernhard
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 1 (2020)

3TAP : the many valued theorem prover

von Hähnle, Reiner
Veröffentlicht 1994

Formal verification of object-oriented software : International Conference FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers

Veröffentlicht 2011