APA (7th ed.) Citation

Wolf, A. (2001). Weakest relative precondition semantics: Balancing approved theory and realistic translation verification. Inst. für Informatik und Praktische Mathematik.

Chicago Style (17th ed.) Citation

Wolf, Andreas. Weakest Relative Precondition Semantics: Balancing Approved Theory and Realistic Translation Verification. Kiel: Inst. für Informatik und Praktische Mathematik, 2001.

MLA (9th ed.) Citation

Wolf, Andreas. Weakest Relative Precondition Semantics: Balancing Approved Theory and Realistic Translation Verification. Inst. für Informatik und Praktische Mathematik, 2001.