• Bibliographic reference:
    \bibitem{Cousot-Trento-2008-02-05}
    P.~Cousot.
    \newblock Software Verification by Abstract Interpretation and the 
             \textsc{As\-tr{\'e}e} Static Analyzer.
    \newblock \emph{seminar}, Center for Computational and Systems Biology (COSBI), 
              The Microsoft Research -- University of Trento, Trento, Italy, 
              February 5${^\mathrm{th}}$ 2008.
    
    
    @inProceedings{Cousot-08-02-05-COSBI-Trento,
       author =    {P{.} Cousot},
       title =     {Software Verification by Abstract Interpretation 
                    and the \textsc{As\-tr{\'e}e} Static Analyzer},
       booktitle = {Seminar, Center for Computational and Systems Biology 
                    (COSBI)}, 
       address =   {The Microsoft Research -- University of Trento, Italy},
       month =     {5 February},
       year =      {2008},
    }
    
    


  • copyright notice
    Last modified: Thursday, 05-Jul-2007 13:25:44 CEST