Automated Technology for Verification and Analysis
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Edición de la obra Automated Technology for Verification and Analysis
| Autor | Zhiming Liu, Anders P. Ravn |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9783642047619 |
| Número de Cutter | L783a |