| 
|
Quote: a postcondition is true after a statement; the canonical postcondition most restricts the state
topics >
all references >
references p-r >
Topic:
predicate transforms
Quotation Skeleton
A postcondition is a predicate that is true … a statement, the strongest postcondition predicate transformer sp … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: predicate transforms (7 items)