| 
|
Quote: need to prove correspondence between sequential composition structure of a program and its conjunctively structured specification
topics >
all references >
references g-h >
Group:
program proving
Quotation Skeleton
The replacement of conjunction by composition means that … of a specification, and the necessary correspondence between … Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)