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:Proceedings, International Conference on Automated Deduction, Bremen, Germany
Publisher:Springer
Series:LNCS 4603
Year:2007

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 =    {Proceedings, International Conference on Automated Deduction, 
                  Bremen, Germany},
  editor =       {F. Pfenning},
  publisher =    {Springer},
  series =       {LNCS 4603},
  year =         {2007}
}