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.