Miguel Ángel García de Dios
MS - Universidad Complutense de Madrid, Spain
The information in this page may be outdated, as Miguel Ángel García de Dios is no longer a member of the Institute.
Former PhD Student
Formal specification and verification, and rigorous tool supported
modeling and validation of software systems.