Conditions Générales d'Utilisation
Méthodes de test pour la validation et la vérification MTV2
Kevin Martin, Université de Bretagne Sud
Laure Gonnord Université Lyon1, LIP (ENS Lyon)
Fabrice Rastello INRIA