TY  - RPRT
TI  - Borrowable Fractional Ownership Types for Verification
AU  - Takashi Nakayama
AU  - Yusuke Matsushita
AU  - Ken Sakayori
AU  - Ryosuke Sato
AU  - Naoki Kobayashi
PY  - 2023
UR  - https://arxiv.org/abs/2310.20430
ID  - 2310.20430
ER  -