@misc{indiciae1e8e6981d44a,
  title = {Certificate Enhanced Data-Flow Analysis},
  author = {Mohamed Nassim Seghir},
  year = {2018},
  url = {https://arxiv.org/abs/1808.01246},
  note = {Source identifier: 1808.01246}
}