TY  - RPRT
TI  - Formal methods and software engineering for DL. Security, safety and productivity for DL systems development
AU  - Gaetan J. D. R. Hains
AU  - Arvid Jakobsson
AU  - Youry Khmelevsky
PY  - 2019
UR  - https://arxiv.org/abs/1901.11334
ID  - 1901.11334
ER  -