Automated Technology for Verification and Analysis
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
Edición de la obra Automated technology for verification and analysis
| Autor | Susanne Graf, Wenhui Zhang |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2006 |
| Idioma | inglés |
| ISBN-13 | 9783540472384 |
| Número de Cutter | G736a |