Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Edición de la obra Automated Technology for Verification and Analysis
| Autor | Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9783540755968 |
| Número de Cutter | N174a |