Lorenz Winkler

PhD student

Group Automated Program Reasoning
Email lorenz.winkler@tuwien.ac.at
Other links