Proyecto de investigación
PID2021-122830OB-C41
Métodos formales escalables para aplicaciones en entornos reales
date_range
Duración del 31 de agosto de 2022 al 30 de agosto de 2025
(36 meses)