@misc{indiciae955130b32d77,
  title = {Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example},
  author = {Julien Signoles},
  year = {2015},
  doi = {10.4204/eptcs.187.7},
  url = {https://arxiv.org/abs/1508.03898},
  note = {Source identifier: 1508.03898}
}