Kroell, Agnes2019-05-022019-05-021986https://dl.gi.de/handle/20.500.12116/22091dePrüfung sicherheitskritischer SoftwareText/Journal Article