A symbolic approach to predicate abstraction (2003)

by S K Lahiri, R E Bryant, B Cook
Venue:In CAV’2003: Computer Aided Verification, volume 2725 of LNCS