| From | Gilles LAMIRAL <gilles dot lamiral at free dot fr> |
| Subject | Re: [gulliver] Liste des outils libres de vérification formelle |
| Date | Mon, 14 Jun 2004 00:12:47 +0200 |
> C'est fait : > http://www.linux-france.org/~dmentre/lug/gulliver/ateliers/fv-tools/ Ok, c'est fait aussi : http://gulliver.eu.org/ateliers/fv-tools/ -- Au revoir, 02 99 78 62 49 Gilles Lamiral. France, L'Hermitage (35590) 08 70 76 34 16