Memorias de investigación
Otras publicaciones:
The Event-B Software Development Method
Año:2018
Áreas de investigación
  • Ingenierías
Datos
Descripción
Tutorial at the Spanish Workshop on Programming Languages (PROLE?18)
Internacional
No
Entidad
Lugar
Sevilla
Páginas
Referencia/URL
Tipo de publicación
Invited Seminars/Lectures
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: Lenguajes y Sistemas Informáticos e Ingeniería de Software