Logo du pré-GDR Sécurité Informatique
Groupe de travail :Méthodes formelles pour la sécurité

Responsables : Stéphanie Delaune, Sébastien bardin