TY  - RPRT
TI  - Program Structure Aware Precondition Generation
AU  - Elizabeth Dinella
AU  - Shuvendu Lahiri
AU  - Mayur Naik
PY  - 2024
UR  - https://arxiv.org/abs/2310.02154
ID  - 2310.02154
ER  -