Tesis doctoral

  1. Formal methods applied to the analysis of phylogeniesPhylogenetic model checking 2014

    Universidad de Zaragoza

Tribunales de tesis (1)

  1. Secretario del tribunal

    Applications of Information Theory and Artificial Intelligence to Software Testing 2022

    Universidad Complutense de Madrid

    IBIAS MARTINEZ, ALFREDO