IMDEA initiative
The information in this page may be outdated, as Miguel Ángel García de Dios is currently not a member of the Institute.
Formal specification and verification, and rigorous tool supported modeling and validation of software systems.
