@misc{indiciae948524356729,
  title = {Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)},
  author = {Gaurav Parthasarathy and Thibault Dardinier and Benjamin Bonneau and Peter Müller and Alexander J. Summers},
  year = {2024},
  url = {https://arxiv.org/abs/2404.03614},
  note = {Source identifier: 2404.03614}
}