RICARDO VICENTE
PEÑA MARÍ
Profesor emérito
Proyectos finalizados
2022
2021
-
CAVI-ART-2: Validación asistida de programas mediante análisis anotaciones demostraciones matemáticas y pruebas de ejecución
FRANCISCO JAVIER LÓPEZ FRAGUAS, RICARDO VICENTE PEÑA MARÍ
2018
-
NEXT-GENERATION ENERGY-EFFICIENT SECURE SOFTWARE.
NARCISO MARTÍ OLIET