Beckert, Bernhard ; Giese, Martin ; Hähnle, Reiner ; Klebanov, Vladimir ; Rümmer, Philipp ; Schlager, Steffen ; 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]
Item Type: | Conference or Workshop Item |
---|---|
Erschienen: | 2007 |
Editors: | Pfenning, Frank |
Creators: | Beckert, Bernhard ; Giese, Martin ; Hähnle, Reiner ; Klebanov, Vladimir ; Rümmer, Philipp ; Schlager, Steffen ; 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: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |