@misc{indiciaeab6bc4525443,
  title = {Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)},
  author = {Ömer Şakar and Soham Chakraborty and Marieke Huisman and Anton Wijs},
  year = {2026},
  url = {https://arxiv.org/abs/2604.21084},
  note = {Source identifier: 2604.21084}
}