TY  - RPRT
TI  - Synthesis from Formal Partial Abstractions
AU  - Hamid Bagheri
PY  - 2014
UR  - https://arxiv.org/abs/1411.0481
ID  - 1411.0481
ER  -