VeraPlan. - Felix Meyer; Tanja Klocke-Wurm; Kai-Tobias Busse; Florian Kuhlmann; Jürgen Brehm; Martin Hoffmann 002 (GI-Jahrestagung, 2017)