@misc{indiciaed614817d64df,
  title = {Generating Rely-Guarantee Conditions with the Conditional-Writes Domain},
  author = {James Tobler and Graeme Smith},
  year = {2026},
  url = {https://arxiv.org/abs/2602.17142},
  note = {Source identifier: 2602.17142}
}