About
Location
People
Join Us
Events
Papers
Research
Art
Exploiting Concurrency Efficiently and Correctly - (EC)2 Workshop
Related:
Directory
Papers
Research
Vishwanath, V.
, Zuck, L.
Verification of Data Intensive High Performance Computing Middleware
Exploiting Concurrency Efficiently & Correctly, (EC)2 Workshop held with 20th International Conference on Computer Aided Verification
, Princeton, NJ
July 7, 2008
