Preface

Capitolo di libro
Data di Pubblicazione:
2017
Abstract:
Preface for the Proceedings of the 8th International Symposium on Games, Automata, Logica and Formal Verificiation (GandALF 2017)
Tipologia CRIS:
02.02 Prefazione/Postfazione
Keywords:
games; automata; formal verification
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/373983