KeY-C: A Tool for Verification of C Programs
Paper in proceedings, 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

Subject Categories

Software Engineering

Computer Science

DOI

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

ISBN

978-3-540-73594-6

More information

Created

10/6/2017