
×
Einführung in die Programmverifikation
Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache Pascal
von Bernhard Hohlfeld und Werner Struckmann, herausgegeben von Karl H Böhling, Ulrich Kulisch und Hermann Maurer12 Abb.