Abstract interpretation based formal methods and future challenges

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

Original languageEnglish (US)
Title of host publicationInformatics - 10 years back, 10 years ahead
EditorsR. Wilhelm
PublisherSpringer
Pages138-156
StatePublished - 2001

Publication series

NameLNCS
Volume2000

Cite this

Cousot, P. (2001). Abstract interpretation based formal methods and future challenges. In R. Wilhelm (Ed.), Informatics - 10 years back, 10 years ahead (pp. 138-156). (LNCS; Vol. 2000). Springer.

Abstract interpretation based formal methods and future challenges. / Cousot, Patrick.

Informatics - 10 years back, 10 years ahead. ed. / R. Wilhelm. Springer, 2001. p. 138-156 (LNCS; Vol. 2000).

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

Cousot, P 2001, Abstract interpretation based formal methods and future challenges. in R Wilhelm (ed.), Informatics - 10 years back, 10 years ahead. LNCS, vol. 2000, Springer, pp. 138-156.
Cousot P. Abstract interpretation based formal methods and future challenges. In Wilhelm R, editor, Informatics - 10 years back, 10 years ahead. Springer. 2001. p. 138-156. (LNCS).
Cousot, Patrick. / Abstract interpretation based formal methods and future challenges. Informatics - 10 years back, 10 years ahead. editor / R. Wilhelm. Springer, 2001. pp. 138-156 (LNCS).
@inbook{302f497ae8a4422983252ab913edb940,
title = "Abstract interpretation based formal methods and future challenges",
author = "Patrick Cousot",
year = "2001",
language = "English (US)",
series = "LNCS",
publisher = "Springer",
pages = "138--156",
editor = "R. Wilhelm",
booktitle = "Informatics - 10 years back, 10 years ahead",

}

TY - CHAP

T1 - Abstract interpretation based formal methods and future challenges

AU - Cousot, Patrick

PY - 2001

Y1 - 2001

M3 - Chapter (peer-reviewed)

T3 - LNCS

SP - 138

EP - 156

BT - Informatics - 10 years back, 10 years ahead

A2 - Wilhelm, R.

PB - Springer

ER -