No label defined (Q4808846)
From MaRDI portal
scientific article; zbMATH DE number 2090153
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2090153 |
Statements
12 August 2004
0 references
object-orientation
0 references
data refinement
0 references
soundness of simulation
0 references
program analysis and verification
0 references
