| 
|
Quote: Alphard was designed for its verification technique
topics >
all references >
references t-z >
Topic:
program proof via assertions
Quotation Skeleton
Since so much of the syntax and semantics … " Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)