Certificate translation in abstract interpretation (2008)

Cached

Download Links

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