Preface

Preface for the Proceedings of the 8th International Symposium on Games, Automata, Logica and Formal Verificiation (GandALF 2017)

Publication type: 
Contributo in volume
Author or Creator: 
Bouyer, Patricia
Orlandini, Andrea
Pietro, Pierluigi San
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: 
AndreA Orlandini's picture
Real name: