Media type: Book; Thesis Title: Weakest relative precondition semantics : balancing approved theory and realistic translation verification Contributor: Wolf, Andreas [Author] Published: Kiel: Inst. für Informatik und Praktische Mathematik, 2001 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 2013 Extent: VI, 197 S. Language: English Keywords: Hochschulschrift Origination: University thesis: Zugl.: Kiel, Univ., Diss., 2001 Footnote: