Automatic Verification by Abstract Interpretation.

Patrick Cousot

Browse the full VMCAI paper archive.