Forschungsprojekt
PID2021-122830OB-C41
Métodos formales escalables para aplicaciones en entornos reales
date_range
Dauer von 31 von August von 2022 bis 30 von August von 2025
(36 Monate)