TY  - RPRT
TI  - Sound Symbolic Execution via Abstract Interpretation and its Application to Security
AU  - Ignacio Tiraboschi
AU  - Tamara Rezk
AU  - Xavier Rival
PY  - 2023
DO  - 10.1007/978-3-031-24950-1_13
UR  - https://arxiv.org/abs/2301.07783
ID  - 2301.07783
ER  -