Preservation of Proof Pbligations for Hybrid Verification Methods.

Gilles Barthe, Csar Kunz, David Pichardie, Julin Samborski-Forlese

Browse the full SEFM paper archive.