Doktorego-tesia

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

    Universidad de Zaragoza

Tesi epaimahaiak (1)

  1. Epaimahaiko Secretario

    Applications of Information Theory and Artificial Intelligence to Software Testing 2022

    Universidad Complutense de Madrid

    IBIAS MARTINEZ, ALFREDO