Spar
Formal Methods: Foundations and Applications
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.
- Undertittel
- 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
- Opplag
- 2009 ed.
- ISBN
- 9783642104510
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 9.11.2009
- Antall sider
- 351
