@misc{Reinhard2023CTs4MS-Arrays,
	title={Completeness Thresholds for Memory Safety of Array Traversing Programs}, 
	author={Tobias Reinhard and Justus Fasse and Bart Jacobs},
	year={2023},
	eprint={2305.03606},
	archivePrefix={arXiv},
	primaryClass={cs.LO}
}

@misc{Reinhard2023CTs4MS-Arrays--TR,
	title={Completeness Thresholds for Memory Safety of Array Traversing Programs: Early Technical Report}, 
	author={Tobias Reinhard},
	year={2023},
	eprint={2211.11885},
	archivePrefix={arXiv},
	primaryClass={cs.LO}
}