Keller, Hubert B.Dencker, Peter2023-03-032023-03-032016https://dl.gi.de/handle/20.500.12116/40668deFG ADA: 5. Workshop Entwicklung zuverlässiger Software-Systeme 2016 09. Juni 2016, TechBase RegensburgText/Journal Article0720-8928