On the existence of translations of structured specifications (Q458375)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the existence of translations of structured specifications |
scientific article |
Statements
On the existence of translations of structured specifications (English)
0 references
7 October 2014
0 references
specification languages
0 references
modularisation
0 references
translations of structured specifications
0 references
structured institutions
0 references
abstractly structured specifications
0 references