| 
|
Quote: a program and its proof should be developed together; with the proof usually leading the way
topics >
all references >
references g-h >
Topic:
constructing proof and program together
Quotation Skeleton
Principle: A program and its proof should be … an already existing program correct, and it is … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: constructing proof and program together (22 items)