@misc{indiciaeb7aefcab5c2f,
  title = {Formal Verification of a C Value Analysis Based on Abstract Interpretation},
  author = {Sandrine Blazy and Vincent Laporte and André Maroneze and David Pichardie},
  year = {2013},
  url = {https://arxiv.org/abs/1304.3596},
  note = {Source identifier: 1304.3596}
}