P. Cousot, P. Ganty, & J.F. Raskin, Fixpoint-Guided Abstraction Refinements (original) (raw)

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}, }