\bibitem{CousotCousot84-1} P.~Cousot and R.~Cousot. \newblock Invariance Proof Methods and Analysis Techniques For Parallel Programs. \newblock In A.W.~Biermann, G.~Guiho and Y.~Kodratoff (Eds), \emph{Automatic Program Construction Techniques}, Ch.~12, pages 243--271, Macmillan, New York, NY, U.S.A., 1984. @incollection{CousotCousot84-1, author = {Cousot, P{.} and Cousot, R{.}}, title = {Invariance Proof Methods and Analysis Techniques For Parallel Programs}, pages = {243--271}, editor = {Biermann, A{.}W{.} and Guiho, G{.} and Kodratoff, Y{.}}, chapter = 12, booktitle = {Automatic Program Construction Techniques}, publisher = {Macmillan, New York, New York, United States}, year = 1984, }
Monday, 04-Jan-2010 12:46:57 CET