ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
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.
