Álvarez-Jarreta, J., de Miguel, G. y 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. (may 2012), 52. DOI:https://doi.org/10.26754/jji-i3a.201201890.