ISSTA 2020 (series) / Valentin Wüstholz
![Valentin Wüstholz](https://conf.researchr.org/getProfileImage/valentinwustholz/d7a2c070-290d-4661-a6d5-7bff8df19d0c/small.jpg?1711545746000)
Registered user since Thu 31 Jan 2019
Name:Valentin Wüstholz
Country:Germany
Affiliation:ConsenSys Diligence
Personal website: http://www.wuestholz.com/
Research interests:program analysis, formal methods, software security
Contributions
ISSTA 2020-profile
View general profile
View general profile