Preuve de programme - Cedric
30 oct. 2008 ... Les invariants de boucle sont des formules logiques destinées à établir qu'une ...
Les variants de boucle ne sont pas des formules, mais des ...
30 oct. 2008 ... Les invariants de boucle sont des formules logiques destinées à établir qu'une ...
Les variants de boucle ne sont pas des formules, mais des ...