Grundlagen einer Methode für die rechnergestützte Verifikation von while-Programmen während der Programmerstellung
By: Alfred Lothar Luft.
Series: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung ; Bd. 8, Nr. 7
Publisher: [Institut für Mathematische Maschinen und Datenverarbeitung]
Published: 1975
Place of publication: Erlangen
Language: ger
Number of pages: 53
Subjects: Computer programs -- Reliability.; Computer programs -- Verification.; Programming languages (Electronic computers)
Other titles: Grundlagen einer Methode für die rechnergestützte Verifikation ...
Notes: Includes bibliographical references.