Équipe
Philippe Baptiste, CNRS/LIX, École Polytechnique.
Youssef Hamadi, Microsoft Research Cambridge, Microsoft Rearch-INRIA Joint Centre.
Vincent Jost, CNRS/LIX, École Polytechnique.
David Savourey, CNRS/LIX, École Polytechnique.
Nora Touati Moungla, CNRS/LIX, École Polytechnique.
Youssef Hamadi, Microsoft Research Cambridge, Microsoft Rearch-INRIA Joint Centre.
Vincent Jost, CNRS/LIX, École Polytechnique.
David Savourey, CNRS/LIX, École Polytechnique.
Nora Touati Moungla, CNRS/LIX, École Polytechnique.