Find Any Book
Source ↗
Precise and Efficient Static Array Bound Checking for Large Embedded C ProgramsArnau Venet · 2004 · Rights: US