@inproceedings{Gardner:2014, author = {Gardner, P and Raad, A and Wheelhouse, M and Wright, A}, title = {Abstract Local Reasoning for Concurrent Libraries: Mind the Gap}, url = {http://hdl.handle.net/10044/1/23831}, year = {2014} }
TY - CPAPER AU - Gardner,P AU - Raad,A AU - Wheelhouse,M AU - Wright,A PY - 2014/// TI - Abstract Local Reasoning for Concurrent Libraries: Mind the Gap UR - http://hdl.handle.net/10044/1/23831 ER -