D066, INRIA Inria centre at Rennes University
TARAN
263 Avenue du General Leclerc
35042
Rennes
France
angeliki.kritikakou@irisa.fr
+33 2 99 84 71 00
http://people.irisa.fr/Angeliki.Kritikakou/