Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Edición de la obra Computer Aided Verification
| Autor | Werner Damm, Holger Hermanns |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9783540733683 |
| Número de Cutter | D162c |