Spar
Automated Technology for Verification and Analysis
The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.
- Undertittel
- 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
- Redaktør
- Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan
- Opplag
- 2008 ed.
- ISBN
- 9783540883869
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 6.10.2008
- Antall sider
- 430
