Extending Source Code Generators for Evidence-Based Software Certification.

Ewen Denney, Bernd Fischer

Browse the full ISoLA paper archive.