Assume-Guarantee Reasoning with Local Specifications.

Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu

Browse the full ICFEM paper archive.