Certificate Translation in Abstract Interpretation.

Gilles Barthe, Csar Kunz

Browse the full ESOP paper archive.