Buscar en la web
Desplegar navegación
Navegar identificado
Departamento de Ingeniería de Software e Inteligencia Artificial
Departamentos
Desplegar navegación
Departamento
Organización
Personal
Infraestructuras
+
Docencia
Grado
Posgrado y Máster
+
Investigación
Portada
»
Buscador
Directorio
José Alberto Verdejo López
Facultad de Informática
Departamento de Sistemas Informáticos y Computación
PDI Funcionario
C/ Profesor José García Santesmases, 9
Ciudad Universitaria
28040 - MADRID
jalberto@ucm.es
91 394 7554
Investigaciones de José Alberto Verdejo López
Grupos de Investigación
DISEÑO Y ANÁLISIS FORMAL DE SISTEMAS DE SOFTWARE
Miembro