No label defined (Q4658725)
From MaRDI portal
scientific article; zbMATH DE number 2147039
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2147039 |
Statements
18 March 2005
0 references
concurrent systems
0 references
stepwise refinement
0 references
refinement tools
0 references
theorem provers
0 references
compositionality
0 references
