ISSTA 2019 (series) / Valentin Wüstholz
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 | Differentially Testing Soundness and Precision of Program Analyzers | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ISSTA 2019-profile
View general profile
View general profile