SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings - Steffen, Bernhard.; Baier, Christel.; van den Brand, Mark.; Eder, Johann.; Hinchey, Mike.; Margaria, Tiziana. (Theoretical Computer Science and General Issues ;, 2017)