Preservation of proof obligations for hybrid verification methods (2008)

by G Barthe, C Kunz, D Pichardie, J Samborski-Forlese
Venue:In Software Engineering and Formal Methods