| 
|
Quote: example of the weakest precondition for a simple assignment statement
topics >
all references >
references p-r >
Topic:
predicate transforms
Quotation Skeleton
For example, the weakest precondition of the assignment … e. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: predicate transforms (7 items)