Thesis

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

    Universidad de Zaragoza

Theses Committees (1)

  1. Secretary of the Committee

    Applications of Information Theory and Artificial Intelligence to Software Testing 2022

    Universidad Complutense de Madrid

    IBIAS MARTINEZ, ALFREDO