@misc{indiciae0c917e65e44b,
  title = {Automatically Refining Assertions for Efficient Debugging of Quantum Programs},
  author = {Damian Rovara and Lukas Burgholzer and Robert Wille},
  year = {2024},
  url = {https://arxiv.org/abs/2412.14252},
  note = {Source identifier: 2412.14252}
}