Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information.

Nurlida Basir, Ewen Denney, Bernd Fischer

Browse the full SAFECOMP paper archive.