Buscar en la web
Desplegar navegación
Navegar identificado
Departamento de Análisis Matemático
Departamentos
Desplegar navegación
Departamento
Organización
Directorio
+
Docencia
Grados
Máster
Doctorado
Licenciatura
Tutorías
Centros en los que imparte docencia
+
Investigación
Líneas de trabajo
+
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