par Bertrand, Nathalie;Bouyer, Patricia;Majumdar, Anirban 
Référence Logical methods in computer science, 17, 1
Publication Publié, 2021-03-18

Référence Logical methods in computer science, 17, 1
Publication Publié, 2021-03-18
Article révisé par les pairs