Certifiable Specification and Verification of C Programs.

Christoph Lth, Dennis Walter

Browse the full FM paper archive.