Auflistung nach Autor "Voß, Angi"
Anzeige der Dokumente 1-1 von 1
-
Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung
Beierle, Christoph; Olthoff, Walter G.; Voß, Angi
292-302
Anzeige der Dokumente 1-1 von 1
Beierle, Christoph; Olthoff, Walter G.; Voß, Angi
292-302