An example of hierarchical design and proof (Q4168045)
From MaRDI portal
scientific article; zbMATH DE number 3602652
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An example of hierarchical design and proof |
scientific article; zbMATH DE number 3602652 |
Statements
An example of hierarchical design and proof (English)
0 references
1978
0 references
