Bibliographic reference:
\bibitem{CousotCousot09-Marktoberdorf}
P. Cousot \& R. Cousot.
\newblock A gentle introduction to formal verification of computer systems
by abstract interpretation.
\newblock In \emph{Logics and Languages for Reliability and Security}, J.~Esparza, O.~Grumberg, \& M.~Broy (Eds), NATO Science Series III: Computer and Systems Sciences, IOS Press, 2010, pages 1--29.
@inBook{CousotCousot09-Marktoberdorf,
author = {P.~Cousot and R.~Cousot},
title = {A gentle introduction to formal verification of computer systems
by abstract interpretation},
booktitle = {Logics and Languages for Reliability and Security},
editor = {J.~Esparza and O.~Grumberg and M.~Broy},
series = {NATO Science Series III: Computer and Systems Sciences}
publisher = {IOS Press},
year = 2010,
pages = {1--29},
}