\bibitem{Cousot-SBFM-2012-03-29}
P. Cousot (joint work with Radhia Cousot).
\newblock A casual introduction to Abstract Interpretation.
\newblock Workshop on Systems Biology and Formals Methods (SBFM'12), 
          NYU, New York, NY, 29--30 March 2012.

@inProceedings{Cousot-SBFM-2012-03-29,
   author =    {P{.} Cousot (joint work with Radhia Cousot)},
   title =     {A casual introduction to Abstract Interpretation},
   booktitle = {Workshop on Systems Biology and Formals Methods (SBFM'12)},
   address =   {NYU, New York, NY},
   month =     {29--30 March},
   year =      {2012},
}