Ikerketa proiektua
PID2021-122830OB-C41
Métodos formales escalables para aplicaciones en entornos reales
date_range
Iraupena 2022(e)ko urtarrila-(a)k 09-(e)tik 2025(e)ko abuztua-(a)k 31-(e)ra izan da
(44 months)
Ikertzaileak
ELVIRA MARÍA
ALBERT ALBIOL
Arduraduna
ALBERTO
RUBIO GIMENO
Arduraduna