|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
B | Balzer, Stephanie | | Barbarossa, Davide | | Beraldo-de-Araujo, Anderson | | D | Di Guardia, RĂ©mi | | E | Ehrhard, Thomas | | G | Guerrieri, Giulio | | J | Joinet, Jean-Baptiste | | K | Kerjean, Marie | | L | Laurent, Olivier | | Lemay, Jean-Simon | | M | Manighetti, Matteo | | Miller, Dale | | S | Somayyajula, Siva | |
|
|