Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Edición de la obra Computer Aided Verification
| Autor | Hunt, Warren A., Jr., Fabio Somenzi |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2011 |
| Idioma | inglés |
| Páginas | 462 |
| ISBN-13 | 9783540450696 |
| Número de Cutter | H943c |