
Automated Technology for Verification and Analysis
- Undertittel
- 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
- Redaktør
- Zhiming Liu, Anders P. Ravn
- Opplag
- 2009 ed.
- ISBN
- 9783642047602
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 29.9.2009
- Antall sider
- 414
