Software Model Checking in the Multicore Era

contact: ahmed rezine

ceniit project 12.04

Partners

Industrial

Academical