The KeY System 1.0 (Deduction Component)

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, and Peter H. Schmitt
In:21st International Conference on Automated Deduction (CADE-21)
Publisher:Springer
Series:LNCS
Volume:4603
Year:2007
Pages:379-384
DOI:10.1007/978-3-540-73595-3_26

BibTeX

@InProceedings{BeckertGieseEtAl2007,
  author    =    {Bernhard Beckert and Martin Giese and Reiner H\"ahnle and 
                  Vladimir Klebanov and Philipp R\"ummer and Steffen Schlager 
                  and Peter H. Schmitt},
  title     =    {The {\KeY} {S}ystem 1.0 (Deduction Component)},
  booktitle =    {21st International Conference on Automated Deduction ({CADE-21})},
  editor    =    {F. Pfenning},
  publisher =    {Springer},
  series    =    {LNCS},
  volume    =    {4603},
  pages     =    {379--384},
  year      =    {2007},
  date      =    {July 17-20},
  month     =    jul,
  place     =    {Bremen, Germany},
  doi       =    {10.1007/978-3-540-73595-3_26}
}