Le Palmier des Jacobins (Toulouse) -> Page d'accueil générale FAC
Page d'accueil générale FAC

Journées FAC'2000

18 et 19 mai 2000
IRIT - Toulouse

 		FéRIA

Formalisation des Activités Concurrentes.
Organisées par le groupe SVF / FéR IA : Spécification, Vérification Formelles.



Les journées FAC'2000 ont eu lieu les 18 et 19 mai 2000 dans l'auditorium de l'IRIT.


Avant Propos

Programme des journées

Actes

Site du groupe SVF/ FéR IA


dernière maj de cette page le 24/03/2006.