Concurrency Verification Workshop at POPL 2014
Unnamed Venue San DiegoThe Research Institute partially funded and organised informal concurrency verification workshop at POPL (Principles of Programming Languages) 2014.
The Research Institute partially funded and organised informal concurrency verification workshop at POPL (Principles of Programming Languages) 2014.