BibTex format
@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}
}
Faculty of Engineering, Department of Computing
Senior Lecturer426Huxley BuildingSouth Kensington Campus