DMCA

Proof Obligations Preserving Compilation Extended abstract

by Gilles Barthe , Tamara Rezk , Ando Saabas