Bibliography:
\bibitem{CousotDSE-Workshop-2004}
P{.} Cousot.
\newblock Grand Challenges for Abstract Interpretation.
\newblock \emph{2$^{\mathrm{nd}}$ Workshop on Dependable Systems
Evolution}, Tony Hoare, Peter O'Hearn, Harold Thimbleby,
Jim Woodcock (Organizers), Gresham College, London, UK}
18 March, 2004.
@unpublished{CousotDSE-Workshop-2004,
author = {P{.} Cousot},
title = {Grand Challenges for Abstract Interpretation},
note = {\emph{2$^{\mathrm{nd}}$ Workshop on Dependable Systems
Evolution}, Tony Hoare, Peter O'Hearn, Harold Thimbleby,
Jim Woodcock (Organizers), Gresham College, London, UK},
month = {18 March},
year = 2004,
}