Memorias de investigación
Responsabilidad:
Revisor externo SAS 2013
Año:2013
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
Revisor Externo en la conferencia 20th Static Analysis Symposium http://www.springer.com/computer/theoretical+computer+science/book/978-3-642-38855-2
Internacional
Si
Fecha
Lugar
Tipo
Responsabilidades en congresos y reuniones técnicas 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: COSTA (Verification, Analysis and Transformation)