Sofsem 2017: Theory and Practice of Computer Science (43rd International Conference on Current Trends in Theory and Practice of Computer Science)

Bernhard Steffen , Christel Baier , Mark Van Den Brand