Johannes Bader

	Kontakt

Veröffentlichungen

2014

• Finding Equations in Functional Programs
  October 2014 : J. Bader

Bearbeitete Studien- und Abschlussarbeiten

• Inferenz von Gleichungen in funktionalen Programmen (abgeschlossen), Bachelorarbeit