Patrick Cousot. Abstract Interpretation. ACM Computing Surveys, 28(2):324-328, 1996.
@article{Cousot96,
title = {Abstract Interpretation},
author = {Patrick Cousot},
year = {1996},
researchr = {https://researchr.org/publication/Cousot96},
cites = {0},
citedby = {0},
journal = {ACM Computing Surveys},
volume = {28},
number = {2},
pages = {324-328},
}