Miguel Ángel García Dios

The information in this page may be outdated, as Miguel Ángel García Dios is currently not a member of the Institute.

MS - Universidad Complutense de Madrid, Spain
Former PhD Student

Adviser: Manuel Clavel

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