Books by Arnau Venet

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

Arnau Venet