\bibitem{Cousot-SeminaireMSR-2011-08-12}
P. Cousot  and R. Cousot.
\newblock Theories, Solvers and Static Analysis by Abstract Interpretation (joint work with L. Mauborgne).
\newblock \emph{MSR Talk Series}, Microsoft Research, Redmond, WA, USA.
          12 August 2011.

@inProceedings{Cousot-SeminaireMSR-2011-08-12,
   author =    {P{.} Cousot and R. Cousot},
   title =     {Theories, Solvers and Static Analysis by Abstract Interpretation (joint work with L. Mauborgne)},
   booktitle = {MSR Talk Series},
   address =   {Microsoft Research, Redmond, WA, USA},
   month =     {12 August 2011},
   year =      {2011},
}