@misc{indiciaef3dc33d7a148,
  title = {The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs},
  author = {Shengyuan Yang and Charles Yuan},
  year = {2026},
  url = {https://arxiv.org/abs/2607.11665},
  note = {Source identifier: 2607.11665}
}