Compositional predicate abstraction from game semantics (2009)

Cached

Download Links

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