@misc{indiciae9910b855ee22,
  title = {Verification of High-Level Transformations with Inductive Refinement Types},
  author = {Ahmad Salim Al-Sibahi and Thomas P. Jensen and Aleksandar S. Dimovski and Andrzej Wasowski},
  year = {2018},
  doi = {10.1145/3278122.3278125},
  url = {https://arxiv.org/abs/1809.06336},
  note = {Source identifier: 1809.06336}
}