The Rle of Abstract Interpretation in Formal Methods.

Patrick Cousot

Browse the full SEFM paper archive.