Automated Technology for Verification and Analysis
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
Edición de la obra Automated Technology for Verification and Analysis
| Autor | Ahmed Bouajjani |
|---|---|
| Editorial | Springer-Verlag Heidelberg |
| Fecha de publicación | 2010 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642156427, 9783642156434 |
| LCCN | 2010933601 |
| Serie | Lecture Notes in Computer Science -- 6252 |
| Número de Cutter | B752a |