1.
Álvarez-Jarreta J, de Miguel G, Mayordomo E. Análisis filogenético molecular: Diseño e implementación de algoritmos escalables y fiables y verificación automática de propiedades de una filogenia. Jorn. jovenes investig. I3A [Internet]. 2012 May 1 [cited 2025 Sep. 9];:52. Available from: https://despapiro.unizar.es/ojs/index.php/jji3a/article/view/1890