TY  - RPRT
TI  - Proceedings Fourth Workshop on Synthesis
AU  - Pavol Černý
AU  - Viktor Kuncak
AU  - Madhusudan Parthasarathy
PY  - 2016
DO  - 10.4204/eptcs.202
UR  - https://arxiv.org/abs/1602.00786
ID  - 1602.00786
ER  -