Verification, Model Checking, and Abstract Interpretation
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Edición de la obra Verification, Model Checking, and Abstract Interpretation
| Autor | Hutchison, David - undifferentiated |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2009 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783540938996, 9783540939009 |
| OCLC | 298777025 |
| Serie | Lecture Notes in Computer Science -- 5403 |
| Número de Cutter |