@misc{indiciae722f32db5dff,
  title = {Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report)},
  author = {Marie-Christine Jakobs and Tim Pollandt},
  year = {2023},
  url = {https://arxiv.org/abs/2309.01585},
  note = {Source identifier: 2309.01585}
}