Santiago Escobar, Universitat Politècnica de València, Spain
Hubert Garavel, Inria, Grenoble, France
Thomas Genet, University of Rennes, France
Santiago Escobar, Universitat Politècnica de València, Spain
Hubert Garavel, Inria, Grenoble, France
Thomas Genet, University of Rennes, France