Describir: Verificación formal de algoritmos fundamentales para la Industria