KeY-C: A Tool for Verification of C Programs
Paper i proceeding, 2007

Författare

Reiner Hähnle

Chalmers, Data- och informationsteknik, Datavetenskap

Daniel Larsson

Chalmers, Data- och informationsteknik, Datavetenskap

Oleg Myrk

Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, Springer-Verlag, LNCS

Vol. 4603 385-390

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

DOI

10.1007/978-3-540-73595-3_27

ISBN

978-3-540-73594-6