TU Darmstadt / ULB / TUbiblio

The KeY System 1.0 (Deduction Component)

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: Proc. 21st Conference on Automated Deduction (CADE), Bremen, Germany, Springer-Verlag, In: LNCS, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2007
Editors: Pfenning, Frank
Creators: Beckert, Bernhard and Giese, Martin and Hähnle, Reiner and Klebanov, Vladimir and Rümmer, Philipp and Schlager, Steffen and Schmitt, Peter
Title: The KeY System 1.0 (Deduction Component)
Language: German
Title of Book: Proc. 21st Conference on Automated Deduction (CADE), Bremen, Germany
Series Name: LNCS
Volume: 4603
Publisher: Springer-Verlag
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: KeY-CADE21
Export:

Optionen (nur für Redakteure)

View Item View Item