Abstract interpretation: Theory and practice

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationModel Checking Software - 9th International SPIN Workshop, Proceedings
EditorsDragan Bosnacki, Stefan Leue
PublisherSpringer Verlag
Pages2-5
Number of pages4
ISBN (Print)3540434771, 3540434771, 9783540434771, 9783540434771
DOIs
StatePublished - 2002
Event9th International SPIN Workshop, 2002 held in cooperation with European Joint Conferences on Theory and Practice of Software, ETAPS 2002 - Grenoble, France
Duration: Apr 11 2002Apr 13 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2318
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other9th International SPIN Workshop, 2002 held in cooperation with European Joint Conferences on Theory and Practice of Software, ETAPS 2002
CountryFrance
CityGrenoble
Period4/11/024/13/02

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Cousot, P. (2002). Abstract interpretation: Theory and practice. In D. Bosnacki, & S. Leue (Eds.), Model Checking Software - 9th International SPIN Workshop, Proceedings (pp. 2-5). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2318). Springer Verlag. https://doi.org/10.1007/3-540-46017-9_2