Preface for the Proceedings of the 8th International Symposium on Games, Automata, Logica and Formal Verificiation (GandALF 2017)
Tipo Pubblicazione:
Contributo in volume
Source:
, 2017
Date:
2017
Resource Identifier:
http://www.cnr.it/prodotto/i/387045
http://www.scopus.com/record/display.url?eid=2-s2.0-85030113191&origin=inward
Language:
Eng
ISTC Author:
Real name: