Abstractions from proofs. (2004)

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