TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Jump to: 2007 | 2005 | 2004
Number of items: 3.

2007

Beckert, Bernhard and Giese, Martin and Hähnle, Reiner and Klebanov, Vladimir and Rümmer, Philipp and Schlager, Steffen and Schmitt, Peter Pfenning, Frank (ed.) (2007):
The KeY System 1.0 (Deduction Component).
In: LNCS, 4603, In: Proc. 21st Conference on Automated Deduction (CADE), Bremen, Germany, pp. 379--384,
Springer-Verlag, [Conference or Workshop Item]

2005

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Bubel, Richard and Giese, Martin and Hähnle, Reiner and Menzel, Wolfram and Mostowski, Wojciech and Roth, Andreas and Schlager, Steffen and Schmitt, Peter (2005):
The KeY tool: integrating object oriented design and formal verification.
4, In: Software and System Modeling, (1), p. 32. DOI: 0.1007/s10270-004-0058-x,
[Article]

2004

Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Roth, Andreas and Rümmer, Philipp and Schlager, Steffen (2004):
Taclets: a new paradigm for constructing interactive theorem provers.
98, In: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, Serie A: Matem'{a}ticas, (1), pp. 17--53. [Article]

This list was generated on Sat Nov 28 00:38:57 2020 CET.