Liens externes
Université Paris-Diderot
UFR d'informatique
EIDD
IRIF
Pôle Automates, Structures et Vérification
Équipe modélisation et vérification