Compositional Predicate Abstraction from Game Semantics (2009)

by A Bakewell, D R Ghica
Venue:TACAS 2009. LNCS