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