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