Memorias de investigación
Responsabilidad:
Miembro del Comité del Programa Working Formal Methods Symposium (FROM 2017)
Año:2017
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
Miembro del Comité del Programa
Internacional
Si
Fecha
05/07/2017
Lugar
University of Bucharest, Romania
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: Departamento: Sistemas Informáticos