KeY-C: A Tool for Verification of C Programs.

Oleg Mrk, Daniel Larsson, Reiner Hhnle

Browse the full CADE paper archive.