
Automated Technology for Verification and Analysis
- Undertitel
- 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
- Redaktör
- Zhiming Liu, Anders P. Ravn
- Upplaga
- 2009 ed.
- ISBN
- 9783642047602
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2009-09-29
- Sidor
- 414
