TY  - RPRT
TI  - Synthesizing Abstract Transformers for Reduced-Product Domains
AU  - Pankaj Kumar Kalita
AU  - Thomas Reps
AU  - Subhajit Roy
PY  - 2024
UR  - https://arxiv.org/abs/2408.04040
ID  - 2408.04040
ER  -