Evaluación automática para problemas de control - Sánchez Cazorla, Carlos (Tesis doctorales (Universidad de Sevilla), 2015)