Florian Faissole 1AuthorPersonId : 1003656
Bas Spitters 2Author
Computer Science [cs] Computer Science [cs] / Logic in Computer Science [cs.LO]
CNRS | INRIA | UMR8623 | CENTRALESUPELEC | INRIA2 | LRI-VALS | UNIV-PARIS-SACLAY | JFLA2018 | GS-COMPUTER-SCIENCE