| 
|
Quote: design of Euclid ensured that only local information was needed for verification
topics >
all references >
references t-z >
Topic:
localized understanding
Topic:
program proof via assertions
Quotation Skeleton
Here, as elsewhere in Euclid, a design decision … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: localized understanding (43 items)
Topic: program proof via assertions (61 items)