33113VAUCANSON 2: Une plateforme de manipulation d'automates finis [En savoir plus]VAUCANSON 2 - ANR-10-INTB-0203Blanc international 2010 - 2010Voir les documents associés Exporter Export XML Export RDF