Predicate abstraction with indexed predicates

Shuvendu K. Lahiri and Randal E. Bryant

Details

Publication typeArticle
Published inACM Transactions on Computational Logic (TOCL '07)
Volume9
Number1
PublisherAssociation for Computing Machinery, Inc.
> Publications > Predicate abstraction with indexed predicates