Précédent : Formalismes et méta-théorie Remonter : Spécifications et preuves de programmes Suivant : RNRT