Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report.

Andreas Katis, Andrew Gacek, Michael W. Whalen

Browse the full ICSE paper archive.