KeY-C: A Tool for Verification of C Programs
Paper in proceeding, 2007
Author
Reiner Hähnle
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Daniel Larsson
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
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
978-3-540-73594-6 (ISBN)
Subject Categories
Software Engineering
Computer Science
DOI
10.1007/978-3-540-73595-3_27
ISBN
978-3-540-73594-6