Research project
PID2021-122830OB-C41
Métodos formales escalables para aplicaciones en entornos reales
date_range
Duration: from 31 August 2022 to 30 August 2025
(36 months)