Abstract Interpretation Using TDGs

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},
}