Predicate Abstraction via Symbolic Decision Procedures

lmcs07.pdf
PDF file

In  Logical Methods in Computer Science (LMCS '07)

Details

TypeArticle
Volume3
Number2
> Publications > Predicate Abstraction via Symbolic Decision Procedures