Spara
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.
- Undertitel
- 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
- Redaktör
- Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan
- Upplaga
- 2008 ed.
- ISBN
- 9783540883869
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2008-10-06
- Sidor
- 430
