
Automated Technology for Verification and Analysis
- Alaotsikko
- 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
- Toimittaja
- Zhiming Liu, Anders P. Ravn
- Painos
- 2009 ed.
- ISBN
- 9783642047602
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 29.9.2009
- Sivumäärä
- 414