• Bibliography:
    P{.} Cousot.
    \newblock Abstract Interpretation of Computations.
    \newblock \emph{Workshop on Robustness, Abstractions and Computations}
     University of Pennsylvania, Philadelphia, U.S.A., 28 March 2004.
       author =    {P{.} Cousot},
       title =     {Abstract Interpretation of Computations},
       booktitle = {Workshop on Robustness, Abstractions and Computations},
       address =   {University of Pennsylvania, Philadelphia, U.S.A.},
       month =     {28 March},
       year =      2004,

  • All presentations of the workshop

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