Iniciativa IMDEA

Inicio > Personal

Miguel Ángel García de Dios

MS - Universidad Complutense de Madrid, España

La información de esta página podría estar desactualizada debido a que Miguel Ángel García de Dios no es ya miembro del Instituto.

Antiguo PhD Student

Miguel Ángel García de Dios

Intereses de Investigación

Formal specification and verification, and rigorous tool supported modeling and validation of software systems.