Bibliographic reference:
\bibitem{CousotPR-DAGSTUHL-10482}
P.~Cousot and R.~Cousot.
\newblock Abstract interpretation: from origin to perspectives.
\newblock Dagstuhl Perspectives Workshop 10482, \emph{``Formal Methods --- Just a
Euro-Science?''}, Schlo\ss\ Dagstuhl, Germany, 30 November --- 3 December 2010.
@inProceedings{CousotPR-DAGSTUHL-10482,
author = {P.~Cousot and R.~Cousot},
title = {Abstract interpretation: from origin to perspectives},
booktitle = {Dagstuhl Perspectives Workshop 10482, \emph{``Formal Methods ---
Just a Euro-Science?''}},
address = {Schlo\ss\ Dagstuhl, Germany},
month = {30 November --- 3 December 2010},
year = {2010},
}