Items where Author / Artist / Editor is "Alglave, Jade"
![]() | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
Article
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)