par Brenguier, Romain 
;Raskin, Jean-François ;Sassolas, Mathieu
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
;Raskin, Jean-François ;Sassolas, Mathieu 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
