Computer Aided Verification
22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
Edición de la obra Computer Aided Verification
| Autor | Tayssir Touili, Byron Cook, Paul Jackson |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2010 |
| Idioma | inglés |
| ISBN-13 | 9783642142956 |
| Número de Cutter | T722c |