@misc{indiciaef54765be7211,
  title = {Unlocking the Power of Environment Assumptions for Unit Proofs},
  author = {Siddharth Priya and Temesghen Kahsai and Arie Gurfinkel},
  year = {2024},
  url = {https://arxiv.org/abs/2409.12269},
  note = {Source identifier: 2409.12269}
}