ADRIÁN
RIESCO RODRÍGUEZ
Profesor titular de universidad
Tese doutoral
-
Depuración declarativa y verificación heterogénea en Maude 2011
Universidad Complutense de Madrid
Tribunais de teses (4)
-
Secretario do tribunal
Analysis techniques for software maintenance 2023Universitat Politècnica de València
PÉREZ RUBIO, SERGIO
-
Vogal do tribunal
Diseño y formalización de lenguajes de consultas inspirados en ópticas 2020Universidad Rey Juan Carlos
LÓPEZ GONZÁLEZ, JESÚS
-
Secretario do tribunal
Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum 2020Universidad Complutense de Madrid
-
Secretario do tribunal
Mapping OCL as a query and constraint language 2017Universidad Complutense de Madrid
DANIA FLORES, CAROLINA INÉS