Gonzalo Ortiz

La información de esta página podría estar desactualizada debido a que Gonzalo Ortiz no es actualmente miembro del Instituto.

MS - Universidad Complutense de Madrid, España
Antiguo PhD Student

Tutor: Manuel Clavel

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

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