Skip to content
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Flore Tsila
Secrétaire du LACL
Bureau:
P2 215
Email:
tsila@u-pec.fr
Tél. +33:
01 45 17 16 47
Fax +33:
01 45 17 66 01
Navigation de l’article
Nicolas Herniou