Modular static program analysis (2002)

by P Cousot, R Cousot
Venue:In Proceedings of CC