Unifying wp and wlp.

Bibliographische Detailangaben
Veröffentlicht in:	Information processing letters. 59, 3 (1996).
1. Verfasser:	Morgan, Carroll
Format:	Artikel
Sprache:	English
Schlagworte:	Formal semantics. Program correctness. Weakest precondition. Weakest liberal precondition. Egli-Milner order.