TY  - RPRT
TI  - Completeness Thresholds for Memory Safety of Array Traversing Programs: Early Technical Report
AU  - Tobias Reinhard
PY  - 2023
UR  - https://arxiv.org/abs/2211.11885
ID  - 2211.11885
ER  -