@misc{indiciae33591b4c1352,
  title = {Ownership Types for Verification of Programs with Pointer Arithmetic},
  author = {Izumi Tanaka and Ken Sakayori and Naoki Kobayashi},
  year = {2023},
  url = {https://arxiv.org/abs/2312.06455},
  note = {Source identifier: 2312.06455}
}