|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
A | Alur, Rajeev | | B | Bjørner, Nikolaj | | C | Cohen, Liron | | F | Fortin, Marie | | H | Haase, Christoph | | L | Lazić, Marijana | | P | Peterfreund, Liat | | R | Rozier, Kristin Yvonne | | S | Shankar, Natarajan | | Silva, Alexandra | | Stoilkovska, Ilina | | U | Urban, Caterina | |
|
|