GPS$$+$$+: Reasoning About Fences and Relaxed Atomics
Crossref DOI link: https://doi.org/10.1007/s10766-017-0518-x
Published Online: 2017-09-26
Published Print: 2018-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
He, Mengda
Vafeiadis, Viktor
Qin, Shengchao
Ferreira, João F.
Text and Data Mining valid from 2017-09-26