Verification of C Programs Using Automated Reasoning.

David Crocker, Judith Carlton

Browse the full SEFM paper archive.