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
PublisherElsevier
Pages843-993
StatePublished - 1990

Publication series

NameHandbook of Theoretical Computer Science
VolumeB

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.