Skip to main content

Abstract Interpretation Revisited

Dan Ghica ( University of Birmingham )