ENSERB 3ème année Année 98/99
Méthodes Formelles dans l'Ingénierie du Logiciel.
Vérification Exhaustive.

• Le cours.
• Les transparents.
• L'examen.
• Le sujet.
• Le corrigé.
• Statistiques sur les notes.
• Les notes.