@misc{indiciae67a16ab4cc2c,
  title = {Mechanized semantics},
  author = {Xavier Leroy},
  year = {2010},
  doi = {10.3233/978-1-60750-100-8-195},
  url = {https://arxiv.org/abs/1010.5582},
  note = {Source identifier: 1010.5582}
}