@misc{indiciae8733f9647a56,
  title = {Verifying C11-Style Weak Memory Libraries},
  author = {Sadegh Dalvandi and Brijesh Dongol},
  year = {2020},
  url = {https://arxiv.org/abs/2012.14133},
  note = {Source identifier: 2012.14133}
}