\bibitem{CousotCousot82-TNPC} P{.} Cousot and R{.} Cousot. \newblock Induction principles for proving invariance properties of programs. \newblock In \emph{Tools \& Notions for Program Construction: an Advanced Course}, D{.} N{\'e}el (Ed.), Cambridge University Press, Cambridge, UK, pp{.} 75--119, August 1982. @inproceedings{CousotCousot82-TNPC, author = {Cousot, P{.} and Cousot, R{.}}, title = {Induction principles for proving invariance properties of programs}, booktitle = {Tools \& Notions for Program Construction: an Advanced Course}, editor = {D{.} N{\'e}el}, publisher = {Cambridge University Press, Cambridge, UK}, pages = {75--119}, month = aug, year = {1982}, }
Monday, 04-Jan-2010 13:31:42 CET