@misc{indiciaef1cbbf8164bb,
  title = {Correctness Kernels of Abstract Interpretations},
  author = {Roberto Giacobazzi and Francesco Ranzato},
  year = {2013},
  url = {https://arxiv.org/abs/0910.4748},
  note = {Source identifier: 0910.4748}
}