Predicate abstraction for software verification (2002)

by Cormac Flanagan, Shaz Qadeer
Venue:In POPL