Fiche d'un projet ANR

 33113VAUCANSON 2: Une plateforme de manipulation d'automates finis [En savoir plus]VAUCANSON 2 - ANR-10-INTB-0203
Blanc international 2010 - 2010