| 
|
Quote: used assertions to improve the reliability and correctness of real software at Chase Manhattan Bank
topics >
all references >
references t-z >
Group:
program proving
Topic:
program proof via assertions
Quotation Skeleton
It may help to calm the heated exchange … of "real software" by the extensive use of … Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Topic: program proof via assertions (61 items)