Theoretical Computer Science; Information Systems; Computer Science Applications1707 Computer Vision and Pattern Recognition; Computational Theory and Mathematics

Games, Automata, Logics, and Formal Verification (GandALF2014) - Preface