Tallenna
Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions.
- Alaotsikko
- 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
- Toimittaja
- Simone Cavalheiro, José Fiadeiro
- Painos
- 1st ed. 2017
- ISBN
- 9783319708478
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 12.11.2017
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 305
