TY  - RPRT
TI  - Synthesizing Abstract Transformers
AU  - Pankaj Kumar Kalita
AU  - Sujit Kumar Muduli
AU  - Loris D'Antoni
AU  - Thomas Reps
AU  - Subhajit Roy
PY  - 2022
UR  - https://arxiv.org/abs/2105.00493
ID  - 2105.00493
ER  -