TY  - RPRT
TI  - SyGuS-Comp 2017: Results and Analysis
AU  - Rajeev Alur
AU  - Dana Fisman
AU  - Rishabh Singh
AU  - Armando Solar-Lezama
PY  - 2017
DO  - 10.4204/eptcs.260.9
UR  - https://arxiv.org/abs/1711.11438
ID  - 1711.11438
ER  -