This volume contains the proceedings of the Fourth International Symposium on Games, Automata, Logics and Formal Verification, The symposium took place in Borca di Cadore (Belluno, Italy), from 29th to 31st of August, 2013. Gabriele Puppis and Tiziano Villa are the editors.
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification
VILLA, Tiziano
2013-01-01
Abstract
This volume contains the proceedings of the Fourth International Symposium on Games, Automata, Logics and Formal Verification, The symposium took place in Borca di Cadore (Belluno, Italy), from 29th to 31st of August, 2013. Gabriele Puppis and Tiziano Villa are the editors.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.