ETAPS 2019 (series) / Leander Tentrup
![Leander Tentrup](https://conf.researchr.org/getProfileImage/leandertentrup/c68545e3-43a8-48fb-bc4e-de71abc84196/small.jpg?1711864861000)
Registered user since Thu 15 Nov 2018
Name:Leander Tentrup
Affiliation:Saarland University
Personal website: https://www.react.uni-saarland.de/people/tentrup.html
Contributions
2019
SYNTCOMP Camp
ETAPS 2019-profile
View general profile
View general profile