Event Beta
Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
SBMF 2020
- Date
- 2020-11-25/27
- Place
- Ouro Preto, Brazil on the map
- Series
- Brazilian Symposium on Formal Methods
- Edition
- 23
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- formal methods
- Identifier
https://id.confref.org/event/e10fjat
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings Lecture Notes in Computer Science 12475 | 10.1007/978-3-030-63882-5 | 2020 | dblp |
Where the sources disagree
- place: dblp: Q188905; wikidata: Q36947
The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Wikidata | |
|---|---|
| dblp |
Cite
Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings. confref identifier e10fjat. https://id.confref.org/event/e10fjat
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.