| 
|
Quote: should develop program and its correctness proof together
topics >
all references >
references m-o >
Topic:
constructing proof and program together
Quotation Skeleton
Once we have techniques for proving program correctness, … ensure the correctness of the program while it … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: constructing proof and program together (22 items)