| 
|
Quote: instead of program verification should derive correct programs with correctness checked at each stage
topics >
all references >
references sa-sz >
Topic:
constructing proof and program together
Quotation Skeleton
Our contention is that the difficulty with the … the wrong level of abstraction. Our approach is … every stage. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: constructing proof and program together (22 items)