No label defined (Q4697320)
From MaRDI portal
scientific article; zbMATH DE number 221917
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 221917 |
Statements
29 June 1993
0 references
bibliography
0 references
formal methods
0 references
computing environments
0 references
annotated references
0 references