Beierle, ChristophOlthoff, Walter G.Voß, Angi2018-02-022018-02-021988https://dl.gi.de/handle/20.500.12116/15708deQualitätssicherung durch Programmverifikation und algebraische Methoden in der SoftwareentwicklungText/Journal Article