Thèse de doctorat

  1. Transformación y análisis de código de bytes orientado a objetos 2009

    Universidad Complutense de Madrid

Thèses dirigées (2)

  1. Verification of Concurrent Systems: optimality, Scalability and Applicability 2020

    Universidad Complutense de Madrid

    Isabel Márquez, Miguel

  2. Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming 2013

    Universidad Politécnica de Madrid

    Rojas Siles, José Miguel