Explora I+D+i UPV

Volver atrás Proyecto

EUROPEAN RESEARCH NETWORK ON FORMAL PROOFS

Institut Universitari Valencià d'investigació en Intel·ligència Artificial

Imprimir
Compartir
¿Quieres contarnos tu reto? Pincha aquí y te ayudamos a encontrar una solución
Año de inicio

2022

Organismo financiador

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMAT

Tipo de proyecto

RELACIÓN C. Y T. INTERNAC. COMPETIT.

Responsable científico

Villanueva García Alicia