@misc{indiciae35b7d1bffd6a,
  title = {Completeness in static analysis by abstract interpretation, a personal point of view},
  author = {David Monniaux},
  year = {2024},
  doi = {10.1007/978-981-19-9601-6\_6},
  url = {https://arxiv.org/abs/2211.09572},
  note = {Source identifier: 2211.09572}
}