Buscar en la web
Desplegar navegación
Navegar identificado
Centro de Análisis Sanitarios
Centros de Apoyo a la Investigación (CAI) e Instalación Científico Tecnológica Singular (ICTS)
Desplegar navegación
CAS
Información
Antecedentes del CAS
Dirección
Organización
Docencia
Títulos propios
Formación continuada
Servicios
Análisis
Tarifas
Localizació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