Preuve de programmes - IRIF
`A partir de l'algorithme, l'utilisation de la logique de Hoare permet d'avoir une preuve de programme, c'est-`a-dire une démonstration de la correction du ...
`A partir de l'algorithme, l'utilisation de la logique de Hoare permet d'avoir une preuve de programme, c'est-`a-dire une démonstration de la correction du ...