Report - VERIFICACIÓN FORMAL DE ALGORITMOSjvalvarez/docencia/tema8.pdf · 2007-05-22 · • Si {P}C{Q} es un código con la precondición {P} y la postcondición {Q}, entonces {P}C{Q} es

Please pass captcha verification before submit form