@misc{indiciae27083717ff1b,
  title = {Gradual C0: Symbolic Execution for Gradual Verification},
  author = {Jenna DiVincenzo and Ian McCormack and Hemant Gouni and Jacob Gorenburg and Jan-Paul Ramos-Dávila and Mona Zhang and Conrad Zimmerman and Joshua Sunshine and Éric Tanter and Jonathan Aldrich},
  year = {2024},
  url = {https://arxiv.org/abs/2210.02428},
  note = {Source identifier: 2210.02428}
}