ETAPS 2019 (series) / Valentin Wüstholz
![Valentin Wüstholz](https://conf.researchr.org/getProfileImage/valentinwustholz/a41f3beb-9997-40f6-9577-84b73009a708/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
ETAPS 2019-profile
View general profile
View general profile