Certificate translation in abstract interpretation (2008)

by G BARTHE, C KUNZ
Venue:In European Symposium on Programming, S. Drossopoulou, Ed. Lecture Notes in Computer Science Series