@inproceedings{1b42bdd98451494da902d14661321a6d,
title = "Compositional separate modular static analysis of programs by abstract interpretation",
author = "Patrick Cousot and Radhia Cousot",
year = "2001",
language = "English (US)",
series = "SSGRR 2001 Compact Disk",
publisher = "Scuola Superiore G. Reiss Romoli",
booktitle = "Proceedings of the 2nd International Conference on Advances in Infrastructure for E-Business, E-Science and E-Education on the Internet, l'Aquila, Italy, August 6-12 2001",
}