@misc{indiciae5c9db7a4ea44,
  title = {Multivariant Assertion-based Guidance in Abstract Interpretation},
  author = {Isabel Garcia-Contreras and Jose F. Morales and Manuel V. Hermenegildo},
  year = {2018},
  url = {https://arxiv.org/abs/1808.05197},
  note = {Source identifier: 1808.05197}
}