Memorias de investigación
Responsabilidad:
Miembro del Comité DIrector
Año:2014

Áreas de investigación
  • Ciencias de la computación y tecnología informática

Datos
Descripción
Congreso Internacional de Verificación, Interpretación Abstracta, y Comprobación de Modelos (VMCAI)
Internacional
Si
Fecha
Lugar
Tipo
Responsabilidades en cómites internacionales

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)
  • Departamento: Inteligencia Artificial