
Formal Methods: Foundations and Applications
- Alaotsikko
- 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
- Toimittaja
- Juliano Iyoda, Leonardo de Moura
- Painos
- 2013 ed.
- ISBN
- 9783642410703
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 13.9.2013
- Sivumäärä
- 243