| 
|
Quote: verify large programs in terms of sets, functions, stacks and queues; not arrays and programs
topics >
all references >
references m-o >
Group:
program proving
Quotation Skeleton
By introducing verification in terms of sets and … only one function. Mills and Linger [ref] gave an additional basis for verifying large programs by designing … Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)