ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Christian Schilling

Registered user since Tue 30 Oct 2018

Name: Christian Schilling

Country: Austria

Affiliation: IST Austria

Personal website: https://schillic.github.io/

Research interests: Verification

Contributions

TACAS 2019 Semantic Fault Localization and Suspiciousness Ranking
ETAPS 2019 Semantic Fault Localization and Suspiciousness Ranking
Ultimate Automizer
Show activities from other conferences

ETAPS 2019-profile
View general profile