Publication Date:
2017
abstract:
Preface for the Proceedings of the 8th International Symposium on Games, Automata, Logica and Formal Verificiation (GandALF 2017)
Iris type:
02.02 Prefazione/Postfazione
Keywords:
games; automata; formal verification
List of contributors: