Spar
Formal Methods: Foundations and Applications
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.
The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions.
- Undertittel
- 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
- Redaktør
- Christiano Braga, Narciso Martí-Oliet
- Opplag
- 2015 ed.
- ISBN
- 9783319150741
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 27.1.2015
- Antall sider
- 179
