Journée FAC'2009
1
er
avril 2009 - IRIT - Toulouse
Formalisation des Activités Concurrentes.
Organisée par le groupe
SVF
/
F
é
R
I
A
: Spécification, Vérification Formelles.
La journée FAC'2009 a eu lieu le 1
er
avril 2009, à l'auditorium de
l'IRIT
.
Avant Propos
Programme de la journée
Actes
Participants
Site du groupe
SVF
/
F
é
R
I
A
dernière maj de cette page le 14/04/2009.
Avant Propos
Programme de la journée
Actes
Participants
Site du groupe SVF/
FéR
IA