Write a Blog >>

Not registered as user yet

Name: Omar Inverso

Affiliation: Gran Sasso Science Institute

Contributions

PPoPP 2020 Parallel and Distributed Bounded Model Checking of Multi-threaded Programs
Show activities from other conferences

PPoPP 2020-profile
View general profile