Tallenna
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.
- Alaotsikko
- 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
- Toimittaja
- Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan
- Painos
- 2008 ed.
- ISBN
- 9783540883869
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 6.10.2008
- Sivumäärä
- 430
