Legal full-text edition

Precise and Efficient Static Array Bound Checking for Large Embedded C Programs

Read now Internet Archive

Rights
Public-domain status shown for US. http://creativecommons.org/licenses/publicdomain/