Compressed PostScript .ps.gz (1.1 Mb), PDF (152 Kb)
\bibitem{Cousot02-SPIN} P{.}~Cousot. \newblock Abstract Interpretation: Theory and Practice. \newblock In \emph{Proceedings of the 9th International SPIN Workshop}, Grenoble, France, 11--13 Appril 2000, D{.} Bo\u{s}na\u{c}ki and S{.} Leue (Eds.), Lecture Notes in Computer Science 2318, Springer-Verlag, pages 2--5. @unpublished{Cousot02-SPIN, author = {P{.} Cousot}, title = {Abstract Interpretation: Theory and Practice}, editor = {D{.} Bo\u{s}na\u{c}ki and S{.} Leue}, booktitle = {Proceedings of the 9th International SPIN Workshop}, series = {Grenoble, France, Lecture Notes in Computer Science 2318}, year = {11--13 Appril 2000}, publisher = {Springer-Verlag, Berlin, Germany}, pages = {2--5}, }
.
Last modified:
Monday, 04-Jan-2010 12:46:44 CET