VeraPlan.

Felix Meyer, Tanja Klocke-Wurm, Kai-Tobias Busse, Florian Kuhlmann, Jrgen Brehm, Martin Hoffmann

Browse the full GI paper archive.