• Bibliographic reference:
    \bibitem{Cousot-IBM-01-06-05}
    P.~Cousot.
    \newblock Application of Abstract Interpretation to the Static 
              Verification of Safety Critical Code.
    \newblock \emph{Seminar, IBM Thomas J. Watson Research Center}, 
              Hawthorne, New York, USA, January 20th, 2006.
    
    @conference{Cousot-IBM-01-06-05,
       author =    {P{.} Cousot},
       title =     {Application of Abstract Interpretation to the Static 
                    Verification of Safety Critical Code},
       note    =   {\emph{Seminar, IBM Thomas J. Watson Research Center}, 
                    Hawthorne, New York, USA, January 20th, 2006},
       month =     {20 January},
       year =      2006,
    }
    


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