@misc{indiciaed10ef7df1e33,
  title = {Abstract Interpretation using a Language of Symbolic Approximation},
  author = {Matthieu Lemerre and Sébastien Bardin},
  year = {2017},
  url = {https://arxiv.org/abs/1712.10058},
  note = {Source identifier: 1712.10058}
}