Certificate translation in abstract interpretation (2008)

by G Barthe, C Kunz
Venue:European Symposium on Programming