Home | english  | Impressum | Sitemap | KIT

The KeY System 1.0 (Deduction Component)

The KeY System 1.0 (Deduction Component)
Autor(en):

Bernhard Beckert
Martin Giese
Reiner Hähnle
Vladimir Klebanov
Philipp Rümmer
Steffen Schlager
Peter H. Schmitt

Quelle:

21st International Conference on Automated Deduction (CADE-21), Bremen, Germany. LNCS 4603, Springer, 2007