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.

Methods and logics for proving programs. / Cousot, Patrick.

Formal models and semantics. ed. / J. van Leeuwen. Elsevier, 1990. p. 843-993 Chapter 15 (Handbook of Theoretical Computer Science; Vol. B).

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

Cousot, P 1990, Methods and logics for proving programs. in J van Leeuwen (ed.), Formal models and semantics., Chapter 15, Handbook of Theoretical Computer Science, vol. B, Elsevier, pp. 843-993.
Cousot P. Methods and logics for proving programs. In van Leeuwen J, editor, Formal models and semantics. Elsevier. 1990. p. 843-993. Chapter 15. (Handbook of Theoretical Computer Science).
Cousot, Patrick. / Methods and logics for proving programs. Formal models and semantics. editor / J. van Leeuwen. Elsevier, 1990. pp. 843-993 (Handbook of Theoretical Computer Science).
@inbook{4505e51e7ca64e7d820b756b7522f355,
title = "Methods and logics for proving programs",
author = "Patrick Cousot",
year = "1990",
language = "English (US)",
series = "Handbook of Theoretical Computer Science",
publisher = "Elsevier",
pages = "843--993",
editor = "{van Leeuwen}, J.",
booktitle = "Formal models and semantics",

}

TY - CHAP

T1 - Methods and logics for proving programs

AU - Cousot, Patrick

PY - 1990

Y1 - 1990

M3 - Chapter (peer-reviewed)

T3 - Handbook of Theoretical Computer Science

SP - 843

EP - 993

BT - Formal models and semantics

A2 - van Leeuwen, J.

PB - Elsevier

ER -