No label defined (Q4680192)
From MaRDI portal
scientific article; zbMATH DE number 2172805
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 2172805 |
Statements
2 June 2006
0 references
formal methods
0 references
logics
0 references
RAISE
0 references