Álvarez-Jarreta, J., de Miguel, G., & Mayordomo, E. (2012). 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. Jornada De Jóvenes Investigadores Del I3A, 52. https://doi.org/10.26754/jji-i3a.201201890