No label defined (Q4197320)
From MaRDI portal
scientific article; zbMATH DE number 3637260
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 3637260 |
Statements
1979
0 references
Program Specification
0 references
Program Development
0 references
Specification Language
0 references
Wide Spectrum Language
0 references
Program Transformations
0 references