Álvarez-Jarreta, J., de Miguel, G. and 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, p. 52. doi:10.26754/jji-i3a.201201890.