Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Edición de la obra Computer aided verification
| Autor | Nicolas Halbwachs, Doron Peled |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540486831 |
| Número de Cutter | H157c |