Predicate abstraction for software verification (0)

by C AND QADEER FLANAGAN, S
Venue:In Proceedings of the Symposium on Principles of Programming Languages (POPL