UCSD-PL/algorithmic-software-verification — pull request #12 by panagosg7 (2013-05-13 08:04:37+00:00)
Title: Notes from second lecture on Abstract Interpretation

Will need "convert" from ImageMagick to compile.