Combining Predicate Abstraction with Fixpoint Approximations.

Tuba Yavuz

Browse the full SEFM paper archive.