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 2019Author of Semantic Fault Localization and Suspiciousness Ranking within the TACAS 2019-track
Show activities from other conferences

Using general profile