International Symposium on Games, Automata, Logics and Formal Verification (symposium)

User Publication Person Organisation Collection