Preservation of proof obligations for hybrid verification methods

by Gilles Barthe , César Kunz , Julián Samborski-forlese , David Pichardie
Citations:4 - 3 self