Main Authors:

Jochen Hoenicke <hoenicke@informatik.uni-freiburg.de>
Jürgen Christ <christj@informatik.uni-freiburg.de>
Alexander Nutz <nutz@informatik.uni-freiburg.de>

Students:

Marcus Zeiger

