Event Beta
International Symposium of VDM Europe
VDM
- Date
- 1990-04-17/21
- Place
- Kiel, Germany on the map
- Series
- International Symposium of VDM Europe
- Edition
- 3
- Academic field
- Natural sciences: Computer and information sciences
- Identifier
https://id.confref.org/event/e108k99
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| VDM '90 VDM and Z — Formal Methods in Software Development LNCS 428 | 10.1007/3-540-52513-0 | 1990 | Springer |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Springer LOD (2018) |
|
|---|
Cite
International Symposium of VDM Europe. confref identifier e108k99. https://id.confref.org/event/e108k99
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.