Unifying wp and wlp.

ग्रंथसूची विवरण
में प्रकाशित:	Information processing letters. 59, 3 (1996).
मुख्य लेखक:	Morgan, Carroll
स्वरूप:	लेख
भाषा:	English
विषय:	Formal semantics. Program correctness. Weakest precondition. Weakest liberal precondition. Egli-Milner order.