Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Edición de la obra Computer aided verification
| Autor | Thomas Ball, Jones, Robert B. |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2006 |
| Idioma | inglés |
| ISBN-13 | 9783540374114 |
| Número de Cutter | B187c |