\bibitem{Cousot03-EJCP} P{.} Cousot. \newblock Abstract Interpretation, EJCP'2003 course. \newblock \emph{EJCP'2003, \'Ecole jeunes Chercheurs en Programmation}, Aussois, France, March 26 May -- 6 June, 2003. @unpublished{Cousot03-EJCP, author = {P{.} Cousot}, title = {Abstract Interpretation, EJCP'2003 course}, note = {\emph{EJCP'2003, \'Ecole jeunes Chercheurs en Programmation}, Aussois, France, March 26 May -- 6 June, 2003}, }
.
, Exposés/Talks, Index, Institutions, Enseignement / Teaching, Recherche / Research, Services
Dernière mise à jour / Last modified : Wednesday, 04-Jun-2003 12:54:02 CEST