Event Beta
Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018.
- Date
- 2018
- Place
- Oxford, United Kingdom on the map
- Series
- International Workshop on Formal Integrated Development Environment (F-IDE)
- Edition
- 4
- Academic field
- Natural sciences: Computer and information sciences
- Identifier
https://id.confref.org/event/e120xab
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018. EPTCS 284 | 10.4204/eptcs.284 | 2018 | dblp |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| dblp |
|---|
Cite
Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018.. confref identifier e120xab. https://id.confref.org/event/e120xab
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.