Methods and logics for proving programs

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

Original languageEnglish (US)
Title of host publicationFormal models and semantics
EditorsJ. van Leeuwen
StatePublished - 1990

Publication series

NameHandbook of Theoretical Computer Science

Cite this

Cousot, P. (1990). Methods and logics for proving programs. In J. van Leeuwen (Ed.), Formal models and semantics (pp. 843-993). [Chapter 15] (Handbook of Theoretical Computer Science; Vol. B). Elsevier.