Event Beta
Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report
- Date
- 1993
- Series
- IFIP TC2/WG2.1 Working Conference
- Academic field
- Natural sciences: Computer and information sciences
- Identifier
https://id.confref.org/event/e11bhr5
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report Lecture Notes in Computer Science 755 | 10.1007/3-540-57499-9 | 1993 | dblp |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| dblp |
|---|
Cite
Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report. confref identifier e11bhr5. https://id.confref.org/event/e11bhr5
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.