Memorias de investigación
Libros:
Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010
Año:2010
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
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
Esta actividad pertenece a memorias de investigación
Participantes
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)