• A4 landscape .pdf (624 Kb) and compressed .pdf.gz (452 Kb) for viewing with Acrobate Reader and compressed PostScript .ps.gz (208 Kb) for viewing with Ghostview or printing;
• 4 slides per A4 landscape sheet in .ps.gz format for printing in color (220 Kb).

\bibitem{Cousot-Journees-RNTL-ASTREE04}
P{.} Cousot, R{.} Cousot \& F{.} Randimbivololona.
\newblock {Pr\'esentation du projet ASTR\'EE} : {A}nalyse {S}tatique de logiciels {T}emps {R\'E}el 
                {E}mbarqu\'es.
\newblock \emph{Séminaire RNTL Thème 1}, Bercy, Paris, France, 
          1 June 2004.

@unpublished{Cousot-Journees-RNTL-ASTREE04,
   author =    {P{.} Cousot and R{.} Cousot and F{.} Randimbivololona},
   title =     {{ASTR\'EE} : {A}nalyse {S}tatique de logiciels {T}emps {R\'E}el 
                {E}mbarqu\'es},
   address =   {\emph{Séminaire RNTL Thème 1}, Bercy, Paris, France},
   month =     {1 June},
   year =      2004,
}