Thèse de doctorat

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

    Universidad Complutense de Madrid

Jurys de thèses (4)

  1. Un secrétaire du jury

    Analysis techniques for software maintenance 2023

    Universitat Politècnica de València

    PÉREZ RUBIO, SERGIO

  2. Rapporteur du jury

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

    Universidad Rey Juan Carlos

    LÓPEZ GONZÁLEZ, JESÚS

  3. Un secrétaire du jury

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

    Universidad Complutense de Madrid

    Gordillo Alguacil, Pablo

  4. Un secrétaire du jury

    Mapping OCL as a query and constraint language 2017

    Universidad Complutense de Madrid

    DANIA FLORES, CAROLINA INÉS