
Formal Methods: Foundations and Applications
- Alaotsikko
- 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
- Toimittaja
- Jim Davies, Leila Silva, Adenilso Simao
- ISBN
- 9783642198281
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 23.3.2011
- Sivumäärä
- 291