Logische Methoden der Programmverifikation

siehe das kommentierte Vorlesungsverzeichnis
Ralph Matthes
Last modified: Mon Apr 9 14:08:16 CEST 2001