TY  - RPRT
TI  - Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability
AU  - Andreas Katis
AU  - Grigory Fedyukovich
AU  - Andrew Gacek
AU  - John Backes
AU  - Arie Gurfinkel
AU  - Michael W. Whalen
PY  - 2017
UR  - https://arxiv.org/abs/1610.05867
ID  - 1610.05867
ER  -