Write a Blog >>
Christian Schilling

Registered user since Tue 30 Oct 2018

Name:Christian Schilling
Country:Austria
Affiliation:IST Austria
Research interests:Verification

Contributions

VMCAI 2020 Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track
Show activities from other conferences

POPL 2020-profile
View general profile