\bibitem{CousotCousot-CAV02}
P{.} Cousot and R{.} Cousot.
\newblock On Abstraction in Software Verification.
\newblock In \emph{Proceedings of the 14th International Conference on
   Computer Aided Verification, CAV 2002}, D{.} Brinksma and K{.} G{.} Larsen
   (Eds.), Copenhagen, Denmark, LNCS 2405, pp{.} 37--56, Springer-Verlag
   Berlin Heidelberg 2002.

@inproceedings{CousotCousot-CAV02,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Software Analysis and Model Checking},
   booktitle = {Proceedings of the 14th International Conference on
                Computer Aided Verification, CAV 2002},
   editor =    {Brinksma, E{.} and Larsen, K.G{.}},
   series =    {Copenhagen, Denmark, LNCS 2404},
   publisher = {Springer-Verlag Berlin Heidelberg},
   month =     {27--31 July},
   pages =     {37--56},
   year =      2002,
}