Write a Blog >>

Registered user since Wed 27 Feb 2019

Name: Martin Blicha

Country: Switzerland

Affiliation: Università della Svizzera italiana

Contributions

VMCAI 2020Author of ICE/FIRE: k-induction and Bounded Reachability in Parallel Model Checking within the VMCAI 2020-track
Show activities from other conferences

POPL 2020-profile
View general profile