TY  - RPRT
TI  - Completeness Thresholds for Memory Safety of Array Traversing Programs
AU  - Tobias Reinhard
AU  - Justus Fasse
AU  - Bart Jacobs
PY  - 2023
UR  - https://arxiv.org/abs/2305.03606
ID  - 2305.03606
ER  -