@misc{indiciaecd7db064bce4,
  title = {A Static Analyzer for Large Safety-Critical Software},
  author = {Bruno Blanchet and Patrick Cousot and Radhia Cousot and Jerôme Feret and Laurent Mauborgne and Antoine Miné and David Monniaux and Xavier Rival},
  year = {2007},
  doi = {10.1145/781131.781153},
  url = {https://arxiv.org/abs/cs/0701193},
  note = {Source identifier: cs/0701193}
}