Unifying wp and wlp.

Unifying wp and wlp.

Sonraí bibleagrafaíochta
Foilsithe in:Information processing letters. 59, 3 (1996).
Príomhchruthaitheoir: Morgan, Carroll
Formáid: Alt
Teanga:English
Ábhair:
Formal semantics.
Program correctness.
Weakest precondition.
Weakest liberal precondition.
Egli-Milner order.