ÓSCAR
MARTÍN SÁNCHEZ
Investigador de proyecto específico
Fachbereich: Sistemas Informáticos y Computación
Fakultät: Informática
Forschungsgruppe: Diseño y análisis formal de sistemas de software
Email: omartins@ucm.es