Author Details

Bertot, Yves, INRIA