• Bibliography:
    \bibitem{Cousot02-SW-EU-Workshop}
    P{.} Cousot.
    \newblock Abstract Interpretation Based Software Technologies, Invited talk.
    \newblock \emph{Workshop on Software Technologies, Embedded Systems and
              Distributed Systems in the sixth Framework Programme}, European Commission,
              Brussels, Belgium, Thursday 2 May 2002.
    
    @unpublished{Cousot02-SW-EU-Workshop,
       author =  {P{.} Cousot},
       title = {Abstract Interpretation Based Software Technologies, Invited talk},
       note = {\emph{Workshop on Software Technologies, Embedded Systems and
              Distributed Systems in the sixth Framework Programme}, European Commission,
              Brussels, Belgium, Thursday 2 May 2002},
    }
    


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