Directions for Research in Approximate System Analysis

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

ASJC Scopus subject areas

@article{0e524414f116415089a59820c15ca730,

title = "Directions for Research in Approximate System Analysis",

author = "Patrick Cousot",

year = "1999",

month = sep,

day = "1",

doi = "10.1145/333580.333585",

language = "English (US)",

volume = "31",

journal = "ACM Computing Surveys",

issn = "0360-0300",

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

}

TY - JOUR

T1 - Directions for Research in Approximate System Analysis

AU - Cousot, Patrick

PY - 1999/9/1

Y1 - 1999/9/1

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

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

U2 - 10.1145/333580.333585

DO - 10.1145/333580.333585

M3 - Article

AN - SCOPUS:84905262006

SN - 0360-0300

VL - 31

JO - ACM Computing Surveys

JF - ACM Computing Surveys

ER -