Manuel Fernández Bertoa Atenea Profesor Contratado Doctor 952 13 72 32 bertoa@lcc.uma.esPágina PersonalLíneas de investigación principales:Análisis y pruebas de sistemas utilizando modelos softwareLenguajes de modelado para la especificación de sistemas
