Proceedings of the 1st Symposium on Games, Automata, Logic, and Formal Verification (GandALF)

Montanari, A

Napoli, M

Parente, M