Induction principles for proving invariance properties of programs

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Original languageEnglish (US)
Title of host publicationTools & notions for program construction
EditorsD. Neel
PublisherCambridge University Press
Pages43-119
StatePublished - 1982

Cite this

Cousot, P., & Cousot, R. (1982). Induction principles for proving invariance properties of programs. In D. Neel (Ed.), Tools & notions for program construction (pp. 43-119). Cambridge University Press.

Induction principles for proving invariance properties of programs. / Cousot, Patrick; Cousot, Radhia.

Tools & notions for program construction. ed. / D. Neel. Cambridge University Press, 1982. p. 43-119.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Cousot, P & Cousot, R 1982, Induction principles for proving invariance properties of programs. in D Neel (ed.), Tools & notions for program construction. Cambridge University Press, pp. 43-119.
Cousot P, Cousot R. Induction principles for proving invariance properties of programs. In Neel D, editor, Tools & notions for program construction. Cambridge University Press. 1982. p. 43-119
Cousot, Patrick ; Cousot, Radhia. / Induction principles for proving invariance properties of programs. Tools & notions for program construction. editor / D. Neel. Cambridge University Press, 1982. pp. 43-119
@inbook{214eedfbc85f4aa0a2f51b58cb86c860,
title = "Induction principles for proving invariance properties of programs",
author = "Patrick Cousot and Radhia Cousot",
year = "1982",
language = "English (US)",
pages = "43--119",
editor = "D. Neel",
booktitle = "Tools & notions for program construction",
publisher = "Cambridge University Press",

}

TY - CHAP

T1 - Induction principles for proving invariance properties of programs

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 1982

Y1 - 1982

M3 - Chapter (peer-reviewed)

SP - 43

EP - 119

BT - Tools & notions for program construction

A2 - Neel, D.

PB - Cambridge University Press

ER -