Centro de Análisis Sanitarios

Centros de Apoyo a la Investigación (CAI) e Instalación Científico Tecnológica Singular (ICTS)

Ismael Rodríguez Laguna

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
isrodrig@sip.ucm.es
91 394 7636

Investigaciones de Ismael Rodríguez Laguna

Grupos de Investigación

DISEÑO Y ANÁLISIS FORMAL DE SISTEMAS DE SOFTWARE
Miembro