@misc{indiciae8b059a85f342,
  title = {Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version)},
  author = {Lara Bargmann and Heike Wehrheim},
  year = {2023},
  url = {https://arxiv.org/abs/2309.01433},
  note = {Source identifier: 2309.01433}
}