[Back]
Pascal Fontaine
INRIA, Nancy, France