Projecte d'investigació
PID2021-122830OB-C41
Métodos formales escalables para aplicaciones en entornos reales
date_range
Duració del 09 de de gener de 2022 al 31 de d’agost de 2025
(44 mesos)
Investigadors/es
ELVIRA MARÍA
ALBERT ALBIOL
Responsable
ALBERTO
RUBIO GIMENO
Responsable