Hola, yo entendí que para demostrar que una función cumple con una especificación, simplemente alcanza con utilizarla cómo testigo de la especificación. ¿Estoy en lo correcto?
Saludos,
Jairo.
Si, es correcto.
Saludos, Carlos
Hola, yo entendí que para demostrar que una función cumple con una especificación, simplemente alcanza con utilizarla cómo testigo de la especificación. ¿Estoy en lo correcto?
Saludos,
Jairo.
Si, es correcto.
Saludos, Carlos