A Symbolic Approach to Predicate Abstraction (2003)

by Shuvendu K Lahiri, Randal E Bryant, Byron Cook
Venue:In CAV’03