Modular Verification of Software Components in C.

Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith

Browse the full ICSE paper archive.