Computer Aided Verification
17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
Edición de la obra Computer Aided Verification
| Autor | Kousha Etessami, Sriram K. Rajamani |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2005 |
| Idioma | inglés |
| ISBN-13 | 9783540316862 |
| Número de Cutter | E83c |