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

Cousot, P., & Cousot, R. (1985). 'A la Floyd' induction principles for proving inevitability properties of programs. In M. Nivat, & J. Reynolds (Eds.),

*Algebraic methods in semantics*(pp. 277-312). [Chapter 8] Cambridge University Press.**'A la Floyd' induction principles for proving inevitability properties of programs.** / Cousot, Patrick; Cousot, Radhia.

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

Cousot, P & Cousot, R 1985, 'A la Floyd' induction principles for proving inevitability properties of programs. in M Nivat & J Reynolds (eds),

*Algebraic methods in semantics.*, Chapter 8, Cambridge University Press, pp. 277-312.Cousot P, Cousot R. 'A la Floyd' induction principles for proving inevitability properties of programs. In Nivat M, Reynolds J, editors, Algebraic methods in semantics. Cambridge University Press. 1985. p. 277-312. Chapter 8

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

}

TY - CHAP

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

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 1985

Y1 - 1985

M3 - Chapter (peer-reviewed)

SP - 277

EP - 312

BT - Algebraic methods in semantics

A2 - Nivat, M.

A2 - Reynolds, J.

PB - Cambridge University Press

ER -