@misc{indiciae66c3e885211d,
  title = {Formal methods and software engineering for DL. Security, safety and productivity for DL systems development},
  author = {Gaetan J. D. R. Hains and Arvid Jakobsson and Youry Khmelevsky},
  year = {2019},
  url = {https://arxiv.org/abs/1901.11334},
  note = {Source identifier: 1901.11334}
}