Maître de conférences à l'ESIAG Équipe Spécification et vérification de systèmes Bureau: P2-221Email: Tél. +33: Fax +33: