EasyChair Smart Slide
On the Monniaux Problem in Abstract Interpretation
On the Monniaux Problem in Abstract Interpretation