Write a Blog >>

Not registered as user yet

Name: Matteo Marescotti

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

Using general profile