Information and ComputationVolume 253, Part 2, April 2017, Pages 179-180PrefaceGames, Automata, Logics and Formal Verification (GandALF 2014) – PrefaceAuthor links open overlay panelAdriano Peron, Carla PiazzaShow moreShareCitehttps://doi.org/10.1016/j.ic.2016.07.005Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)© 2016 Elsevier Inc.