TY  - RPRT
TI  - Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report
AU  - Andreas Katis
AU  - Michael W. Whalen
AU  - Andrew Gacek
PY  - 2016
UR  - https://arxiv.org/abs/1602.00148
ID  - 1602.00148
ER  -