• Bibliographic reference:
    \bibitem{Cousot-NYU-2008-04-30}
    P.~Cousot.
    \newblock Parameterized Refinement in Abstract-Interpretation-Based Static 
              Analysis.
    \newblock \emph{Verication group}, Computer Science, NYU, New York, NY, USA, 
              April 20${^\mathrm{th}}$ 2008.
    
    @inProceedings{Cousot-NYU-2008-04-30,
       author =    {P{.} Cousot},
       title =     {Parameterized Refinement in Abstract-Interpretation-Based Static 
                    Analysis},
       booktitle = {Verication group},
       address =   {Computer Science, NYU, New York, NY, USA},
       month =     {April 20${^\mathrm{th}}$},
       year =      2008,
    }
    


  • copyright notice
    Last modified: Monday, 07-May-2012 17:51:04 EDT