Compositional predicate abstraction from game semantics (2009)

by Adam Bakewell , Dan R. Ghica
Venue:In TACAS
Citations:7 - 1 self