Deriving Verification Conditions and Program Assertions to Support Software Inspection.

Daniel Powell

Browse the full APSEC paper archive.