TY  - RPRT
TI  - Precise and Efficient Static Array Bound Checking for Large Embedded C Programs
AU  - Venet, Arnaud
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040081118
ID  - 20040081118
ER  -