| 
|
Quote: a program P is correct for specification S if P is as determined as S and every mechanism for P is also one for S
topics >
all references >
references g-h >
Topic:
program proof via assertions
Quotation Skeleton
Program P is said to be correct for … input is supplied, P is as determined as … for proving whether a given program is correct … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)