VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
POPL 2016 (series) / VMCAI (series) / Derrick Karimi

Not registered as user yet

Name: Derrick Karimi

Contributions

VMCAIAuthor of Model Checking with Multi-Threaded IC3 Portfolios within the VMCAI-track
Show activities from other conferences

POPL 2016-profile
View general profile