Write a Blog >>

Not registered as user yet

Name: Matteo Marescotti

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

Using general profile