ETAPS 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
| ETAPS 2019 | Semantic Fault Localization and Suspiciousness Ranking | ||||||||||||||||||||||||||||||||||||||||
| TACAS 2019 | Semantic Fault Localization and Suspiciousness Ranking | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile