Artículo.
clasificación y se verifica la condición de verificación. Posteriormente, se realiza el retroceso, se produce una nueva asignación para los elementos de la matriz y se llama de nuevo al SUV. Figura 12: Ejemplo de definición de harness para verificar una función libre de efectos laterales. Figura