Write a Blog >>

Registered user since Wed 27 Feb 2019

Name: Martin Blicha

Country: Switzerland

Affiliation: Università della Svizzera italiana

Contributions

VMCAI 2020Author of A Cooperative Parallelization Approach for Property-Directed k-Induction within the VMCAI 2020-track
Show activities from other conferences

POPL 2020-profile
View general profile