Compositional refinement of interactive systems (Q4208877)
From MaRDI portal
scientific article; zbMATH DE number 1205577
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Compositional refinement of interactive systems |
scientific article; zbMATH DE number 1205577 |
Statements
Compositional refinement of interactive systems (English)
0 references
4 November 1998
0 references
functional specification techniques
0 references
interactive systems
0 references
