Hains, G., Jakobsson, A. und Khmelevsky, Y. (2018) „Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development“, in. doi:10.1109/SYSCON.2018.8369576.
Chicago Manual of Style 17th edition (full note)Hains, Gaetan, Arvid Jakobsson, und Youry Khmelevsky. „Towards Formal Methods and Software Engineering for Deep Learning: Security, Safety and Productivity for Dl Systems Development“. In . https://doi.org/10.1109/SYSCON.2018.8369576.
American Psychological Association 7th editionHains, G., Jakobsson, A., & Khmelevsky, Y. (2018, April 1). Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development. https://doi.org/10.1109/SYSCON.2018.8369576
Modern Language Association 9th editionHains, G., A. Jakobsson, und Y. Khmelevsky. Towards Formal Methods and Software Engineering for Deep Learning: Security, Safety and Productivity for Dl Systems Development. 2018, https://doi.org/10.1109/SYSCON.2018.8369576.
ISO-690 (author-date, Deutsch)HAINS, Gaetan, Arvid JAKOBSSON und Youry KHMELEVSKY, 2018. Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development. In: . 1 April 2018