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 2019-profile
View general profile
View general profile