Laurent Mauborgne. Abstract Interpretation Using TDGs. In SAS. pages 363-379, 1994.
@inproceedings{Mauborgne94, title = {Abstract Interpretation Using TDGs}, author = {Laurent Mauborgne}, year = {1994}, researchr = {https://researchr.org/publication/Mauborgne94}, cites = {0}, citedby = {0}, pages = {363-379}, booktitle = {SAS}, }