| 
|
Quote: correctness proof and program should be written together
topics >
all references >
references c-d >
Topic:
constructing proof and program together
Quotation Skeleton
the programmer should let correctness proof and program … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: constructing proof and program together (22 items)