Tese doutoral

  1. Depuración declarativa y verificación heterogénea en Maude 2011

    Universidad Complutense de Madrid

Tribunais de teses (4)

  1. Secretario do tribunal

    Analysis techniques for software maintenance 2023

    Universitat Politècnica de València

    PÉREZ RUBIO, SERGIO

  2. Vogal do tribunal

    Diseño y formalización de lenguajes de consultas inspirados en ópticas 2020

    Universidad Rey Juan Carlos

    LÓPEZ GONZÁLEZ, JESÚS

  3. Secretario do tribunal

    Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum 2020

    Universidad Complutense de Madrid

    Gordillo Alguacil, Pablo

  4. Secretario do tribunal

    Mapping OCL as a query and constraint language 2017

    Universidad Complutense de Madrid

    DANIA FLORES, CAROLINA INÉS