Spar
Automated Technology for Verification and Analysis
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012.
- Undertittel
- 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
- Redaktør
- Madhavan Mukund, Supratik Chakraborty
- Opplag
- 2012 ed.
- ISBN
- 9783642333859
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 16.8.2012
- Antall sider
- 438
