Using Software Model Checking for Software Component Certification.

Ali Taleghani

Browse the full ICSE paper archive.