Buscar en la web
Desplegar navegación
Navegar identificado
Proyecto de Innovación matmaes
Desplegar navegación
Descripción
Aspectos beneficiosos
Utilidad en otros contextos
Objetivos
Metodología
Plan de Trabajo
Miembros
Encuestas
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