Sarah WINKLER

project number
T-789

project title
Instantiation- and Learning-Based Methods in Equational Reasoning

research place
Universität Innsbruck
Institut für Informatik

duration
01.10.2016 to 30.09.2019

back to overview