Projecte d'investigació
PID2021-122830OB-C41
Métodos formales escalables para aplicaciones en entornos reales
date_range
Duració del 31 de d’agost de 2022 al 30 de d’agost de 2025
(36 mesos)