@inproceedings{CousotCousot01-SSGRR,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Compositional Separate Modular Static Analysis of Programs 
                by Abstract Interpretation},
   booktitle = {Proceedings of the Second International Conference on Advances
                in Infrastructure for E-Business, E-Science and E-Education on the
                Internet, SSGRR 2001},
   address =   {Compact disk, L'Aquila, Italy},
   publisher = {Scuola Superiore G{.} Reiss Romoli},
   month =     {6--12 August, 2001},
   year =      2001,
}