Contact

Most Hanfor developers are students and researchers in the software engineering group of Andreas Podelski at the University of Freiburg.

If you have any questions, open a GitHub issue or write a mail to

• Daniel Dietsch - dietsch@informatik.uni-freiburg.de
• Vincent Langenfeld - langenfv@informatik.uni-freiburg.de