EasyChair Smart Slide
Analysis of Software Patches using Numerical Abstract Interpretation
Analysis of Software Patches using Numerical Abstract Interpretation