Patrick Cousot, Radhia Cousot. Temporal Abstract Interpretation. In POPL. pages 12-25, 2000. [doi]
@inproceedings{CousotC00,
title = {Temporal Abstract Interpretation},
author = {Patrick Cousot and Radhia Cousot},
year = {2000},
doi = {10.1145/325694.325699},
url = {http://doi.acm.org/10.1145/325694.325699},
researchr = {https://researchr.org/publication/CousotC00},
cites = {0},
citedby = {0},
pages = {12-25},
booktitle = {POPL},
}