TY  - RPRT
TI  - Inductive Predicate Synthesis Modulo Programs (Extended)
AU  - Scott Wesley
AU  - Maria Christakis
AU  - Jorge A. Navas
AU  - Richard Trefler
AU  - Valentin Wüstholz
AU  - Arie Gurfinkel
PY  - 2024
UR  - https://arxiv.org/abs/2407.08455
ID  - 2407.08455
ER  -