Tesis doctoral

  1. Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura 2003

    Universidad Complutense de Madrid

Tesis dirigidas (1)

  1. Model checking of strategy-controlled systems in rewriting logic 2022

    Universidad Complutense de Madrid

    Rubio Cuéllar, Rubén Rafael