@misc{indiciaeb9003a43a755,
  title = {Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages},
  author = {Daniel Dietsch and Matthias Heizmann and Jochen Hoenicke and Alexander Nutz and Andreas Podelski},
  year = {2019},
  url = {https://arxiv.org/abs/1901.01915},
  note = {Source identifier: 1901.01915}
}