\bibitem{CousotCousot00-POPL} P.~Cousot and R.~Cousot. \newblock Temporal abstract interpretation. \newblock In \emph{Conference Record of the Twentyseventh Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, pages 12--25, Boston, Mass., January 2000. ACM Press, New York, NY. @inproceedings{CousotCousot00-POPL, author = {Cousot, P{.} and Cousot, R{.}}, title = {Temporal Abstract Interpretation}, pages = {12--25}, booktitle = {Conference Record of the Twentyseventh Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, address = {Boston, Mass{.}}, publisher = {ACM Press, New York, NY}, month = jan, year = 2000, }
, ACM copyright
Last modified:
Monday, 04-Jan-2010 13:19:24 CET