Reliable Software Technologies – Ada-Europe 2018: 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June ... Notes in Computer Science, Band 10873)
In diesem Band werden die Schlüsselergebnisse der Ada-Europe 2018 in Lissabon vorgestellt: von formalen Verifikationsmethoden über sichere Programmi ...