Assume-Guarantee Software Verification Based on Game Semantics.

Aleksandar S. Dimovski, Ranko Lazic

Browse the full ICFEM paper archive.