Bibliographic reference:
\bibitem{CousotGantyRaskin07-SAS}
P. Cousot, P. Ganty, & J.-F. Raskin.
\newblock Fixpoint-Guided Abstraction Refinements.
\newblock In \emph{Proc. Fourteenth International Symposium
on Static Analysis (SAS$\,$'{07})}, G.\ Fil\'e \& H.\ Riis-Nielson (Eds), pages
333--348, Kongens Lyngby, Denmark, 22--24 August 2007. Lecture Notes in Computer
Science, volume 4634, Springer, Berlin, pp. 333--348.
@inCollection{CousotGantyRaskin07-SAS,
author = {Cousot, P{.} and Ganty, P{.} and Raskin, J{.}-F{.}},
title = {Fixpoint-Guided Abstraction Refinements},
booktitle = {Proceedings of the Fourteenth International Symposium on Static Analysis, SAS$\,$'{07}},
editor = {Fil\'e, G{.} and Riis Nielson, H{.}},
month = {22--24 August},
year = 2007,
series = {Kongens Lyngby, Denmark, Lecture Notes in Computer Science 4634},
pages = {333--348},
publisher = {Springer, Berlin, Germany},
}