Address
Inria Sophia Antipolis – Méditerranée
2004, route des Lucioles
BP 93
06902 Sophia Antipolis Cedex
Team Project Leader
name: Laurent Hascoët
email: laurent.hascoet@inria.fr
Team Assistant
name: Christine Claux
email: christine.claux@inria.fr
phone: + 33 (0)4 92 38 78 25