Fiche d'une revue

20th International Conference (LPAR-2015)170602