Weakest relative precondition semantics balancing approved theory and realistic translation verification - Wolf, Andreas (Inst. für Informatik und Praktische Mathematik, 2001)
Zugl.: Diss., 2001