Verification, Model Checking, and Abstract Interpretation
Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Edición de la obra Verification, Model Checking, and Abstract Interpretation
| Autor | Agostino Cortesi |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540478133 |
| Número de Cutter | C828v |