Manuel Fernández Bertoa Atenea Research Group Profesor Contratado Doctor 952 137 232 bertoa@lcc.uma.esPágina PersonalLíneas de Investigación principales:Especificaciones, Análisis y Ensayos basados en Modelos