Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Predicate Abstraction via Symbolic Decision Procedures

Shuvendu K. Lahiri, Thomas Ball, and Byron Cook

Details

Publication typeArticle
Published inLogical Methods in Computer Science (LMCS '07)
Volume3
Number2
> Publications > Predicate Abstraction via Symbolic Decision Procedures