Tallenna
Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4–6, 2024.
The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions.
- Alaotsikko
- 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings
- Toimittaja
- Sidney C. Nogueira, Ciprian Teodorov
- ISBN
- 9783031781155
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 29.11.2024
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 205
