Bernhard Steffen Christel Baier Mark van den Brand Johann Eder Mike Hinchey Tiziana Margaria 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 SOFSEM Springer 2017 Lecture Notes in Computer Science 10139 978-3-319-51962-3 https://doi.org/10.1007/978-3-319-51963-0 db/conf/sofsem/sofsem2017.html