PhD student
Team Systems Specification and Verification
Supervised by Régine Laleau, Amel Mammar (TSP), Marc Frappier (Université de Sherbrooke, Québec)

Office:
Email: faycal.baba@u-pec.fr
Phone +33:
Fax +33: