The KeY system 1.0 (Deduction Component)

14 years 4 months ago

Bernhard Beckert, Martin Giese, Reiner Hähnle

Automated Reasoning | CADE 2007 | Deduction Component |

claim paper

Added	03 Dec 2009
Updated	03 Dec 2009
Type	Conference
Year	2007
Where	CADE
Authors	Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt

Comments (0)