Explora I+D+i UPV

Volver atrás Proyecto

Herramientas formales para la verificación de programas

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

Compartir
Año de inicio

2019

Organismo financiador

UPV. VICERRECTORADO DE INVESTIGACION

Tipo de proyecto

INV. COMPETITIVA PROYECTOS

Responsable científico

Gutiérrez Gil Raúl