1 Cas d'une affectation 2 Cas d'une séquence - IRIT

1 Cas d'une affectation 2 Cas d'une séquence - IRIT

prog est un extrait de programme ... Technique de preuve ... Exercice. Exercices. Exercice 8. Chercher la plus faible précondition P qui satisfasse.