TY  - RPRT
TI  - A Coq-based synthesis of Scala programs which are correct-by-construction
AU  - Youssef El Bakouny
AU  - Tristan Crolard
AU  - Dani Mezher
PY  - 2017
DO  - 10.1145/3103111.3104041
UR  - https://arxiv.org/abs/1706.05271
ID  - 1706.05271
ER  -