# Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development

> Research article (2018 Annual IEEE International Systems Conference (SysCon), 2018) · cited 29× · AI/ML

**Wikidata**: [openalex:W2806456500](https://www.wikidata.org/wiki/openalex:W2806456500)  
**Source**: https://4ort.xyz/entity/towards-formal-methods-and-software-engineering-for-deep-learning-security-safety-and-productivity-for-dl-systems-develo