Assistant Professor, université Paris Descartes
Team Systems Specification and Verification

Office: P2 222
Email: christophe.gnaho@parisdescartes.fr
Phone +33: 01 45 17 65 89
Fax +33: 01 45 17 66 01