Unifying wp and wlp.

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.