The KeY system 1.0 (Deduction Component)
Paper in proceedings, 2007

Author

Bernhard Beckert

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

Subject Categories

Software Engineering

Computer Science

DOI

10.1007/978-3-540-73595-3_26

ISBN

978-3-540-73594-6

More information

Created

10/6/2017