@misc{indiciaef4eac6f56fef,
  title = {First steps towards the certification of an ARM simulator using Compcert},
  author = {Xiaomu Shi and Jean-François Monin and Frederic Tuong and Frédéric Blanqui},
  year = {2012},
  doi = {10.1007/978-3-642-25379-9\_25},
  url = {https://arxiv.org/abs/1202.6472},
  note = {Source identifier: 1202.6472}
}