Equivalence is in the eye of the beholder (Q1391750)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equivalence is in the eye of the beholder |
scientific article |
Statements
Equivalence is in the eye of the beholder (English)
0 references
22 July 1998
0 references
evolving algebras
0 references
specification
0 references
verification
0 references
formal methods
0 references
distributed algorithms
0 references
