@misc{indiciae3de9689a1218,
  title = {Source-Level Bitwise Branching for Temporal Verification},
  author = {Yuandong Cyrus Liu and Ton-Chanh Le and Eric Koskinen},
  year = {2021},
  url = {https://arxiv.org/abs/2111.02938},
  note = {Source identifier: 2111.02938}
}