Induction principles for proving invariance properties of programs

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Original language	English (US)
Title of host publication	Tools & notions for program construction
Editors	D. Neel
Publisher	Cambridge University Press
Pages	43-119
State	Published - 1982

Cite this

@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",

}