Concurrency Verification Workshop at POPL 2014
The 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.