DMCA

Certificate translation in abstract interpretation (2008)

by Gilles Barthe , César Kunz
Venue:ESOP, Lecture Notes in Computer Science
Citations:16 - 11 self