Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
Edición de la obra Computer Aided Verification
| Autor | Gerard Berry, Hubert Comon, Alain Finkel |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540445852 |
| Número de Cutter | B534c |