Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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