\bibitem{Cousot03-EWSCS} P{.} Cousot. \newblock An Introduction to Abstract Interpretation, EWSCS 2003 course. \newblock \emph{8^{\mathrm{th}} Estonian Winter School in Computer Science (EWSCS) / VIII Eesti Arvutiteaduse Talvekool (EATTK)} Palmse, Estonia, March 2--7, 2002. @unpublished{Cousot03-EWSCS, author = {P{.} Cousot}, title = {An Introduction to Abstract Interpretation, EWSCS 2003 course}, note = {\emph{8^{\mathrm{th}} Estonian Winter School in Computer Science (EWSCS) / VIII Eesti Arvutiteaduse Talvekool (EATTK)} Palmse, Estonia, March 2--7, 2002}, }
.
, Exposés/Talks, Index, Institutions, Enseignement / Teaching, Recherche / Research, Services
Dernière mise à jour / Last modified : Wednesday, 04-Jun-2003 12:53:43 CEST