The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Principles of Abstract Interpretation

The work

AuthorsPatrick Cousot
Editors
Typearticle
Year2021
Citekeycousot2021principles

Where it appeared

Published inMIT Press

How it got here

How it got hereagent via bibtex
Added2026-10-27 04:43 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

cousot

Cite it as

@article{cousot2021principles,
  title        = {Principles of Abstract Interpretation},
  author       = {Patrick Cousot},
  year         = {2021},
  journal      = {MIT Press},
}

This record lives at https://refs.drheap.org/cousot2021principles/ and will keep doing so.