Professeur à l'UFR des Sciences et TechnologieÉquipe Spécification et vérification de systèmes Bureau: P2 203Email: dvaracca@lacl.frTél. +33: 01 45 17 66 02Fax +33: 01 45 17 66 01Plus d'informations