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