Tesi doctoral

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

    Universidad de Zaragoza

Tribunals de tesi (1)

  1. Secretari del tribunal

    Applications of Information Theory and Artificial Intelligence to Software Testing 2022

    Universidad Complutense de Madrid

    IBIAS MARTINEZ, ALFREDO