Unifying wp and wlp.

Unifying wp and wlp.

Bibliografiska uppgifter
I publikationen:Information processing letters. 59, 3 (1996).
Huvudupphovsman: Morgan, Carroll
Materialtyp: Artikel
Språk:English
Ämnen:
Formal semantics.
Program correctness.
Weakest precondition.
Weakest liberal precondition.
Egli-Milner order.