The KeY system 1.0 (Deduction Component)
Paper i proceeding, 2007

Författare

Bernhard Beckert

Reiner Hähnle

Chalmers, Data- och informationsteknik, Datavetenskap

Vladimir Klebanov

Philipp Rümmer

Göteborgs universitet

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

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

DOI

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

ISBN

978-3-540-73594-6

Mer information

Skapat

2017-10-06