suivant: Sémantique opérationnelle
monter: Introduction
précédent: Invariants
Table des matières
Ce qui vient d'être décrit peut servir à développer des programmes
(cf. exemple du PGCD), prouver des programmes (cf. section suivante)
ou plus simplement documenter des programmes.
Hugues FAUCONNIER
2003-01-09