Event Beta
Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
- Date
- 2021
- Series
- Brazilian Symposium on Formal Methods
- Edition
- 24
- Academic field
- Natural sciences: Computer and information sciences
- Identifier
https://id.confref.org/event/e11r7z6
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings Lecture Notes in Computer Science 13130 | 10.1007/978-3-030-92137-8 | 2021 | dblp |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| dblp |
|---|
Cite
Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings. confref identifier e11r7z6. https://id.confref.org/event/e11r7z6
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.