@misc{indiciae26034b407eab,
  title = {Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version)},
  author = {Daniel Wright and Mark Batty and Brijesh Dongol},
  year = {2021},
  url = {https://arxiv.org/abs/2108.01418},
  note = {Source identifier: 2108.01418}
}