Research project
PID2021-122830OB-C41
Métodos formales escalables para aplicaciones en entornos reales
date_range
Duration: from 09 January 2022 to 31 August 2025
(44 months)
Researchers
ELVIRA MARÍA
ALBERT ALBIOL
Leader
ALBERTO
RUBIO GIMENO
Leader