Abstract Interpretation in Industry - Experience and Lessons Learned.

Daniel Kstner, Reinhard Wilhelm, Christian Ferdinand

Browse the full SAS paper archive.