par Filiot, Emmanuel
;Gauwin, Olivier;Lhote, Nathan 
Référence Logical methods in computer science
Publication Publié, 2019-12-31
;Gauwin, Olivier;Lhote, Nathan 
Référence Logical methods in computer science
Publication Publié, 2019-12-31
Article révisé par les pairs
| Fichier(s) déposé(s) par l'encodeur |



