Krämer, Juliane; Meyer, Roland (2019): Sicherheit, Zuverlässigkeit, Korrektheit. INFORMATIK 2019: 50 Jahre Gesellschaft für Informatik – Informatik für Gesellschaft. DOI: 10.18420/inf2019_62. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-688-6. pp. 455-456. Sicherheit, Zuverlässigkeit, Korrektheit. Kassel. 23.-26. September 2019
