The KeY system 1.0 (Deduction Component)
Paper i proceeding, 2007
Författare
Bernhard Beckert
Martin Giese
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
978-3-540-73594-6 (ISBN)
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)
DOI
10.1007/978-3-540-73595-3_26
ISBN
978-3-540-73594-6