3
¿Regla de trama como conservador de cambios?
Una regla de trama , como la que se muestra a continuación, captura la idea de que, dado un programa ccon una condición previa pque se cumple antes de que se ejecute y quna condición posterior que se cumple después, alguna condición disjunta rdebe mantenerse antes y después de las …