Memorias de investigación
Research Project:
VERA: Técnicas avanzadas de verificación de aplicaciones concurrentes
Year:2015
Research Areas
Information
Abstract
International
No
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
Entity Nationality
Sin nacionalidad
Entity size
Granting date
28/12/2012
Participants
Research Group, Departaments and Institutes related
  • Creador: No seleccionado
  • Departamento: Inteligencia Artificial
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software