@misc{indiciae5e168d281bd4,
  title = {View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version)},
  author = {Eleni Vafeiadi Bila and Brijesh Dongol and Ori Lahav and Azalea Raad and John Wickerson},
  year = {2022},
  url = {https://arxiv.org/abs/2201.05860},
  note = {Source identifier: 2201.05860}
}