No label defined (Q3681905)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1985
0 references
Specification
0 references
verification of programs
0 references
syntactic programming construct
0 references
compositional proofsystem
0 references
parallel executing networks
0 references
recursive creation of subnetworks
0 references
