Tallenna
Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020.
- Alaotsikko
- 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
- Toimittaja
- Gustavo Carvalho, Volker Stolz
- Painos
- 1st ed. 2020
- ISBN
- 9783030638818
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 20.11.2020
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 229
