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



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