Ikerketa proiektua
PID2021-122830OB-C41
Métodos formales escalables para aplicaciones en entornos reales
date_range
Iraupena 2022(e)ko abuztua-(a)k 31-(e)tik 2025(e)ko abuztua-(a)k 30-(e)ra izan da
(36 months)