Browse by Journal
![]() | See full list of headings |
Jump to: B
Number of items: 1.
B
Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Alglave, Jade and Parkinson, Matthew
(2016)
New lace and arsenic: adventures in weak memory with a program logic (v2).
arXiv, arXiv.org.
[Other]
(doi:10.48550/arXiv.1512.01416)