|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
B | Benjamin, Thibaut | | C | Chenavier, Cyrille | | Cordero, Christophe | | D | Delpeuch, Antonin | | Dupont, Benjamin | | G | Giraudo, Samuele | | H | Hadzihasanovic, Amar | | Hage, Nohra | | Ho Thanh, Cédric | | N | North, Paige | | R | Riehl, Emily | | S | Statman, Richard | | T | Tamaroff, Pedro | | V | Vicary, Jamie | |
|
|