Media type: Book Title: Dijkstras wp-Funktion als Formeltransformer und ihre Verbindung zur denotationellen Semantik Contributor: Berghammer, Rudolf [Author] Published: Kiel: Inst. für Informatik und Praktische Mathematik, 1997 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9708 Extent: 15 S. Language: German Origination: Footnote: