A formal software development approach using refinement calculus (Q5942699)
From MaRDI portal
scientific article; zbMATH DE number 1643429
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A formal software development approach using refinement calculus |
scientific article; zbMATH DE number 1643429 |
Statements
A formal software development approach using refinement calculus (English)
0 references
16 December 2001
0 references
complete object-oriented Z
0 references
COOZ
0 references
