LOGIQUE DE HOARE - IREM de la Réunion
`A partir de l'algorithme, l'utilisation de la logique de Hoare permet d'avoir une
preuve de programme, .... Comme dans l'exemple suivant, un corrigé sous forme
...
`A partir de l'algorithme, l'utilisation de la logique de Hoare permet d'avoir une
preuve de programme, .... Comme dans l'exemple suivant, un corrigé sous forme
...