• Bibliography:
    \bibitem{Cousot-PROLE04talk}
    P{.} Cousot.
    \newblock Software Verification by Abstract Interpretation: Current Trends 
              and Perspectives.
    \newblock Invited Talk, IV Jornadas de Programaci{\'o}n y Lenguajes, M{\'a}laga, 
              Spain. 11--12 November 2004.
    
    @conference{Cousot-PROLE04talk,
       author =    {P{.} Cousot},
       title =     {Software Verification by Abstract Interpretation: Current Trends 
                    and Perspectives},
       booktitle = {Invited Talk},
       address =   {IV Jornadas de Programaci{\'o}n y Lenguajes, M{\'a}laga, 
                    Spain},
       month =     {11--12 November},
       year =      2004,
    }
    


    copyright notice.
    Last modified: Monday, 07-May-2012 17:51:05 EDT