Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung

Christoph Beierle, Walter G. Olthoff, Angi Voß. Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. Informatik Spektrum, 11(6):292-302, 1988.

Abstract

Abstract is missing.