@misc{indiciae19a274bfefe5,
  title = {Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification},
  author = {Conrad Zimmerman and Jenna DiVincenzo},
  year = {2024},
  url = {https://arxiv.org/abs/2412.00339},
  note = {Source identifier: 2412.00339}
}