Exploiting Concurrency Efficiently and Correctly - (EC)2 Workshop
, 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