Predicate abstraction with indexed predicates (0)

by S K Lahiri, R E Bryant
Venue:ACM Trans. Comput. Log