ITRS FULL PAPERS: AUTHOR INDEX
A | |
Aschieri, Federico | |
F | |
Florido, Mário | |
G | |
Guerrieri, Giulio | |
K | |
Kesner, Delia | |
L | |
Laurent, Olivier | |
M | |
Mazza, Damiano | |
P | |
Parys, Paweł | |
Pautasso, Daniele | |
R | |
Ronchi Della Rocca, Simona | |
S | |
Statman, Richard | |
 | |
Ângelo, Pedro |
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
|
|