Compositional Predicate Abstraction from Game Semantics.

Adam Bakewell, Dan R. Ghica

Browse the full TACAS paper archive.