Nathalie Moreno Vergara Atenea Research Group Profesor Contratado Doctor 952 133 393 moreno@lcc.uma.es Página Personal Líneas de Investigación principales: Especificaciones, Análisis y Ensayos basados en Modelos