Towards a Safe Software Development Environment

Mahmoud Hussein, Réda Nouacer, Ansgar Radermacher. Towards a Safe Software Development Environment. In Hana Kubátová, Martin Novotný, Amund Skavhaug, editors, Euromicro Conference on Digital System Design, DSD 2017, Vienna, Austria, August 30 - Sept. 1, 2017. pages 470-477, IEEE, 2017. [doi]

Abstract

Abstract is missing.