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

Etudiant D. Bégay A. Griffault Moyenne
Hanin 18 12 15
Bendaoud 19 11 15
Houdan 18 15 16,5
Lacazedieu 18 15 16,5
Brouillard 17 11 14
Delabre 17 14 15,5
Mailleuchet 17 14 15,5
Cuartero 15 12 13,5
Blanc 15 11 13
Corvina 15 11 13
Durepaire 15 11 13

Alain Griffault