Proyecto de investigación
PID2021-122830OB-C41
Métodos formales escalables para aplicaciones en entornos reales
date_range
Duración del 09 de enero de 2022 al 31 de agosto de 2025
(44 meses)
Investigadores/as
ELVIRA MARÍA
ALBERT ALBIOL
Responsable
ALBERTO
RUBIO GIMENO
Responsable