Event Beta
Specification and validation methods
- Date
- 1993
- Series
- International Workshops on Abstract State Machines (ASM)
- Academic field
- Natural sciences: Computer and information sciences
- Identifier
https://id.confref.org/event/e10rhjq
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Specification and validation methods | 1995 | dblp |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| dblp |
|---|
Cite
Specification and validation methods. confref identifier e10rhjq. https://id.confref.org/event/e10rhjq
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.