The KeY system 1.0 (Deduction Component)
Paper in proceeding, 2007
Author
Bernhard Beckert
Martin Giese
Reiner Hähnle
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Vladimir Klebanov
Philipp Rümmer
University of Gothenburg
Steffen Schlager
Peter H. Schmitt
Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, Springer-Verlag, LNCS
Vol. 4603 379-384
978-3-540-73594-6 (ISBN)
Subject Categories
Software Engineering
Computer Science
DOI
10.1007/978-3-540-73595-3_26
ISBN
978-3-540-73594-6