학술논문
Unifying Operational Weak Memory Verification: An Axiomatic Approach
Document Type
Article
Author
Source
In: ACM Transactions on Computational Logic . (ACM Transactions on Computational Logic, 20 October 2022, 23(4))
Subject
Language
English
ISSN
1557945X
15293785
15293785