• \bibitem{CousotCousot01-SSGRR}
    P{.} Cousot and R{.} Cousot.
    \newblock Compositional Separate Modular Static Analysis of Programs by
       Abstract Interpretation.
    \newblock In \emph{Proceedings of the Second International Conference on
       Advances in Infrastructure for E-Business, E-Science and E-Education on the
       Internet, SSGRR 2001}, Compact disk, L'Aquila, Italy, 6--12 August, 2001. 
       Scuola Superiore G{.} Reiss Romoli.
    
    @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,
    }
    


    copyright notice
    Last modified: Friday, 04-May-2012 13:07:22 EDT