C.: Certificate translation in abstract interpretation (0)

by G Barthe, Kunz
Venue:In: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Lecture