Descripción
|
|
---|---|
Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010 | |
Internacional
|
Si |
DOI
|
|
Edición del Libro
|
0 |
Editorial del Libro
|
Springer |
ISBN
|
978-3-642-11318-5 |
Número de páginas del libro
|
0 |
Serie
|