Bibliography:
\bibitem{Cousot02-MFPS18}
P{.} Cousot.
\newblock Abstract Interpretation: A Theory of Approximation, Invited talk.
\newblock \emph{Eighteenth Workshop on theÊMathematical Foundations of
Programming Semantics}, Special session on Abstract Interpretation, Tulane
University, New Orleans, Louisiana, U.S.A., March 23--26, 2002.
@unpublished{Cousot02-MFPS18,
author = {P{.} Cousot},
title = {Abstract Interpretation: A Theory of Approximation, Invited talk},
note = {\emph{Eighteenth Workshop on theÊMathematical Foundations of
Programming Semantics}, Special session on Abstract Interpretation, Tulane
University, New Orleans, Louisiana, U.S.A., March 23--26, 2002},
}