Implementación y automatizción de un método de detección de errores determinístico para procesadores ‌ Arguedas Cuendis, Ernesto, 1991-