TY  - RPRT
TI  - Ownership Types for Verification of Programs with Pointer Arithmetic
AU  - Izumi Tanaka
AU  - Ken Sakayori
AU  - Naoki Kobayashi
PY  - 2023
UR  - https://arxiv.org/abs/2312.06455
ID  - 2312.06455
ER  -