Abstract interpretation

Research output: Contribution to journal › Article › peer-review

ASJC Scopus subject areas

@article{bca2136736674d6598869ca133039f5b,

title = "Abstract interpretation",

author = "Patrick Cousot",

year = "1996",

month = jun,

doi = "10.1145/234528.234740",

language = "English (US)",

volume = "28",

pages = "324--328",

journal = "ACM Computing Surveys",

issn = "0360-0300",

publisher = "Association for Computing Machinery (ACM)",

number = "2",

}

TY - JOUR

T1 - Abstract interpretation

AU - Cousot, Patrick

PY - 1996/6

Y1 - 1996/6

UR - http://www.scopus.com/inward/record.url?scp=0001502002&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0001502002&partnerID=8YFLogxK

U2 - 10.1145/234528.234740

DO - 10.1145/234528.234740

M3 - Article

AN - SCOPUS:0001502002

SN - 0360-0300

VL - 28

SP - 324

EP - 328

JO - ACM Computing Surveys

JF - ACM Computing Surveys

IS - 2

ER -