par Filiot, Emmanuel
;Gauwin, Olivier;Lhote, Nathan 
Référence Logical methods in computer science
Publication Publié, 2019-12-31


Référence Logical methods in computer science
Publication Publié, 2019-12-31
Article révisé par les pairs