'A la Floyd' induction principles for proving inevitability properties of programs

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

Original language	English (US)
Title of host publication	Algebraic methods in semantics
Editors	M. Nivat, J. Reynolds
Publisher	Cambridge University Press
Pages	277-312
State	Published - 1985

Cite this

@inbook{fad87438ec764ca8bc4faf6639768b1a,

title = "'A la Floyd' induction principles for proving inevitability properties of programs",

author = "Patrick Cousot and Radhia Cousot",

year = "1985",

language = "English (US)",

pages = "277--312",

editor = "M. Nivat and J. Reynolds",

booktitle = "Algebraic methods in semantics",

publisher = "Cambridge University Press",

}