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
.
[Article]
(Published online first)