@misc{indiciae54accdf28df3,
  title = {Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)},
  author = {Andreas Lööw and Daniele Nantes-Sobrinho and Sacha-Élie Ayoun and Caroline Cronjäger and Petar Maksimović and Philippa Gardner},
  year = {2024},
  doi = {10.4230/lipics.ecoop.2024.25},
  url = {https://arxiv.org/abs/2407.10838},
  note = {Source identifier: 2407.10838}
}