| 2007 |
|---|
| 7 | EE | Bernhard Beckert,
Martin Giese,
Reiner Hähnle,
Vladimir Klebanov,
Philipp Rümmer,
Steffen Schlager,
Peter H. Schmitt:
The KeY system 1.0 (Deduction Component).
CADE 2007: 379-384 |
| 2005 |
|---|
| 6 | | Vladimir Klebanov,
Philipp Rümmer,
Steffen Schlager,
Peter H. Schmitt:
Verification of JCSP Programs.
CPA 2005: 203-218 |
| 5 | EE | Bernhard Beckert,
Steffen Schlager,
Peter H. Schmitt:
An Improved Rule for While Loops in Deductive Program Verification.
ICFEM 2005: 315-329 |
| 4 | EE | Bernhard Beckert,
Steffen Schlager:
Refinement and retrenchment for programming language data types.
Formal Asp. Comput. 17(4): 423-442 (2005) |
| 3 | EE | Wolfgang Ahrendt,
Thomas Baar,
Bernhard Beckert,
Richard Bubel,
Martin Giese,
Reiner Hähnle,
Wolfram Menzel,
Wojciech Mostowski,
Andreas Roth,
Steffen Schlager,
Peter H. Schmitt:
The KeY tool.
Software and System Modeling 4(1): 32-54 (2005) |
| 2004 |
|---|
| 2 | EE | Bernhard Beckert,
Steffen Schlager:
Software Verification with Integrated Data Type Refinement for Integer Arithmetic.
IFM 2004: 207-226 |
| 2001 |
|---|
| 1 | EE | Bernhard Beckert,
Steffen Schlager:
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities.
IJCAR 2001: 626-641 |
