LANFOR

LANFOR est le groupe de travail "LANgages FORmels" de l'AFIT (Association Francaise d'Informatique Theorique).
Il est animé par

Sandrine Julia et Géraud Sénizergues