Abstract interpretation

Research output: Contribution to journalArticle

Original languageEnglish (US)
Pages (from-to)324-328
Number of pages5
JournalACM Computing Surveys
Volume28
Issue number2
DOIs
StatePublished - Jun 1996

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this