Non-strict don't care algebras and specifications (Q4882494)
From MaRDI portal
scientific article; zbMATH DE number 890016
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Non-strict don't care algebras and specifications |
scientific article; zbMATH DE number 890016 |
Statements
Non-strict don't care algebras and specifications (English)
0 references
12 September 1996
0 references
conditional algebraic specifications
0 references
