Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification

Activity: Participating in or organising an event › Invited talk