• .pdf, 1 slide per page (10.4 Mb)
• .pdf, 4 slide per page (10.3 Mb)

\bibitem{Cousot-RC-2010-05-03}
P.~Cousot.
\newblock Embedded software verification by abstract interpretation.
\newblock Seminar, CMACS visit to Rockwell-Collins, Cedar Rapids, Iowa, 3 May 2010.

@inProceedings{Cousot-RC-2010-05-03,
   author =    {P.~Cousot},
   title =     {Embedded software verification by abstract interpretation,
   booktitle = {Seminar, CMACS visit to Rockwell-Collins},
   address =   {Cedar Rapids, Iowa, USA},
   month =     {3 May},
   year =      {2010},
}