Event Beta
Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019.
FROM
- Date
- 2019-09-03/05
- Place
- Timișoara, Romania on the map
- Series
- Symposium on Working Formal Methods (FROM)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e120xx4
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019. EPTCS 303 | 10.4204/eptcs.303 | 2019 | dblp |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| confref portal (2020) | |
|---|---|
| dblp |
Cite
Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019.. confref identifier e120xx4. https://id.confref.org/event/e120xx4
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.