No label defined (Q4940107)
From MaRDI portal
scientific article; zbMATH DE number 1409638
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1409638 |
Statements
2 March 2000
0 references
specification language object-Z
0 references
concurrent systems
0 references
formal specification of objectoriented systems
0 references