Preuve de correction d'un tri simple par la logique de Hoare Par Lucas Tabary-Maujean Contenu Développement [PDF] hoarehroehaohreo on peut dire plein de trucs youpi Plans avec ce développement Plan pour [No. 1] Exemples de méthodes et outils pour la correction des programmes (par Lucas Tabary-Maujean)