Exportar referência
APA
J. Brotherston, D. Costa, A. Hobor, J. Wickerson, (2020). Reasoning over Permissions Regions in Concurrent Separation Logic. International Conference on Computer Aided Verification, -
IEEE
J. Brotherston, D. Costa, A. Hobor, J. Wickerson, "Reasoning over Permissions Regions in Concurrent Separation Logic" in International Conference on Computer Aided Verification, , 2020, pp. -,
doi:
BIBTEX
@InProceedings{52321,
author = {J. Brotherston and D. Costa and A. Hobor and J. Wickerson},
title = {Reasoning over Permissions Regions in Concurrent Separation Logic},
booktitle = {International Conference on Computer Aided Verification},
year = 2020,
pages = {-},
address = {},
publisher = {Springer}
}