@misc{indiciae3d30d0cc2736,
  title = {Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs},
  author = {Mingsheng Ying},
  year = {2022},
  url = {https://arxiv.org/abs/2205.01959},
  note = {Source identifier: 2205.01959}
}