A method for refining and testing generalised machine specifications (Q3838255)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A method for refining and testing generalised machine specifications |
scientific article |
Statements
A method for refining and testing generalised machine specifications (English)
0 references
9 August 1998
0 references
stream X-machine
0 references
testing machines
0 references
refinement
0 references