Der Band fasst die Erkenntnisse der Ada‑Europe 2018 in Lissabon zusammen: von formalen Verifikationsmethoden über sichere Programmiersprachen bis zu innovativen Analysewerkzeugen, die sowohl Entwickler als auch Forscher ansprechen.