| 
|
Quote: a program is correct if it is correct when each part is correct, and if each part is correct
topics >
all references >
references p-r >
Group:
program proving
Quotation Skeleton
When studying a long program, we must decompose … convince ourselves of two things: (1) if each … its assigned function. Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)