Predicate Abstraction with Indexed Predicates (2007)

by Shuvendu K. Lahiri , Randal E. Bryant
Citations:16 - 0 self