@misc{indiciae8e44d6e6adb7,
  title = {Recomposition: A New Technique for Efficient Compositional Verification},
  author = {Ian Dardik and April Porter and Eunsuk Kang},
  year = {2024},
  url = {https://arxiv.org/abs/2408.03488},
  note = {Source identifier: 2408.03488}
}