Thèse de doctorat

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

    Universidad de Zaragoza

Jurys de thèses (1)

  1. Un secrétaire du jury

    Applications of Information Theory and Artificial Intelligence to Software Testing 2022

    Universidad Complutense de Madrid

    IBIAS MARTINEZ, ALFREDO