Not registered as user yet

Name:Alexander Nutz
Affiliation:University of Freiburg, Germany

Contributions

HCVS 2019 Author of Ultimate TreeAutomizer within the HCVS-track
ETAPS 2019 Author of Ultimate Automizer within the Posters-track