TY  - RPRT
TI  - Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
AU  - Andreas Lööw
AU  - Daniele Nantes-Sobrinho
AU  - Sacha-Élie Ayoun
AU  - Caroline Cronjäger
AU  - Petar Maksimović
AU  - Philippa Gardner
PY  - 2024
DO  - 10.4230/lipics.ecoop.2024.25
UR  - https://arxiv.org/abs/2407.10838
ID  - 2407.10838
ER  -