Automated Technology for Verification and Analysis
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Edición de la obra Automated Technology for Verification and Analysis
| Autor | Doron A. Peled, Yih-Kuen Tsay |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2005 |
| Idioma | inglés |
| ISBN-13 | 9783540319696 |
| Número de Cutter | P381a |