JESÚS
CORREAS FERNÁNDEZ
Profesor contratado doctor
Tesi doctoral
-
Análisis y verificación de programas modulares 2008
Universidad Politécnica de Madrid
Tribunals de tesi (1)
-
Secretari del tribunal
Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing 2020Universidad Complutense de Madrid