@phdthesis {1424,
	title = {An{\'a}lisis filogen{\'e}tico molecular: Dise{\~n}o e implementaci{\'o}n de algoritmos escalables y fiables y verificaci{\'o}n autom{\'a}tica de propiedades de una filogenia},
	volume = {Master},
	year = {2011},
	month = {09/2011},
	school = {University of Zaragoza},
	type = {Master},
	author = {{\'A}lvarez Jarreta, J.}
}

