A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods.

Ali Mili, Jules Desharnais

Browse the full ICSE paper archive.