par Brenguier, Romain Cliquez pour télécharger la liste de publications de l'auteur; Raskin, Jean-François Liste de publications; Sassolas, Mathieu Liste de publications
Référence Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science, (page 23)
Publication Publié, 2014
Publication dans des actes