Cover Image

Unifying wp and wlp.

Bibliographic Details
Published in:Information processing letters. 59, 3 (1996).
Main Author: Morgan, Carroll
Format: Article
Language:English
Subjects:
Formal semantics.
Program correctness.
Weakest precondition.
Weakest liberal precondition.
Egli-Milner order.