Desarrollo formal de sistemas y servicios beneficiosos para la sociedad. (COMMIT) - Vara Mesa, Juan Manuel (Investigador/a); Pérez Blanco, Francisco Javier (Investigador/a); Gómez Macías, Cristian (Investigador/a); Granada Mejía, Juan David (Investigador principal (IP)); Villarrubia Martín, Carlos (Investigador/a) (2025)