TYDI-0 ABSTRACTS: AUTHOR INDEX
D | |
Das, Anupam | |
G | |
Guglielmi, Alessio | |
H | |
Heijltjes, Willem | |
Horne, Ross | |
Hughes, Dominic | |
L | |
Lellmann, Bjoern | |
M | |
Marin, Sonia | |
P | |
Paulus, Joseph | |
Pimentel, Elaine | |
R | |
Ralph, Benjamin | |
Ramanayake, Revantha |
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
|
|