...MVTsi
Document accessible à l'adresse http://dept-info.labri.u-bordeaux.fr/ griffaul (ancrage html dans la rubrique Recherche)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

Equipe Modélisation, Vérification et Test des systèmes informatisés
Fri May 15 10:32:44 CEST 1998