TY  - JOUR
T1  - Unifying wp and wlp.
JF  - Information processing letters.
A1  - Morgan, Carroll
LA  - English
UL  - https://tuklas.up.edu.ph/Record/UP-99796217608727215
KW  - Formal semantics.
KW  - Program correctness.
KW  - Weakest precondition.
KW  - Weakest liberal precondition.
KW  - Egli-Milner order.
ER  -