Author Details

Huet, Gerard, Inria, France