Implementing a Direct Method for Certificate Translation.

Gilles Barthe, Benjamin Grgoire, Sylvain Heraud, Csar Kunz, Anne Pacalet

Browse the full ICFEM paper archive.