| 
|
Quote: must develop a program and its correctness proof together; better to derive a correct program than to have a direct correctness proof
topics >
all references >
references a-b >
Topic:
constructing proof and program together
Quotation Skeleton
We must develop the program and the correctness … It is more important to be able to … correctness proof should not be neglected. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: constructing proof and program together (22 items)