|
|
|
Contact Email:
Bitte warten... |
|
Publications
2014
-
Finding Equations in Functional Programs
October 2014 : J. Bader
Theses worked on
- Inferring equalities in functional programs (finished), bachelor thesis
|
|
|
|
Contact Email:
Bitte warten... |
|