Very abstract specifications: a formalism independent approach (Q4236212)
From MaRDI portal
scientific article; zbMATH DE number 1268685
Language | Label | Description | Also known as |
---|---|---|---|
English | Very abstract specifications: a formalism independent approach |
scientific article; zbMATH DE number 1268685 |
Statements
Very abstract specifications: a formalism independent approach (English)
0 references
22 March 1999
0 references
very abstract entities
0 references
hyper-loose algebraic specifications
0 references