|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
F-IDE F-IDE-18 PROCEEDINGS: AUTHOR INDEX
A | Arcaini, Paolo | | B | Bessai, Jan | | Bhatt, Devesh | | C | Couto, Rui | | Creissac Campos, José | | Cunha, Alcino | | D | Dailler, Sylvain | | F | Filliâtre, Jean-Christophe | | Freitas, Leo | | H | Hall, Brendan | | J | Jeppu, Yogananda | | K | Knüppel, Alexander | | M | Macedo, Nuno | | Marché, Claude | | Masci, Paolo | | Melioli, Riccardo | | Moy, Yannick | | Murugesan, Anitha | | P | Pardylla, Carsten | | Park, Spencer | | R | Reeves, Steve | | Ren, Hao | | Riccobene, Elvinia | | S | Schaefer, Ina | | Sekerinski, Emil | | T | Thüm, Thomas | | V | Vasileva, Anna | | W | Watson, Nathaniel | | Wenzel, Makarius | |
|
|