Abstractions from proofs (2004)

by T A Henzinger, R Jhala, R Majumdar, K L McMillan
Venue:In POPL