| 
|
Quote: test data may suggest a simple strategy for proving programs correct
topics >
all references >
references g-h >
Group:
program proving
Quotation Skeleton
Rather than being antithetical to proving correctness, proper … Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)