This page shows all presentations of this author published in EasyChair Smart Slide.
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions
Etienne Payet and Fausto Spoto