TY  - RPRT
TI  - Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
AU  - Shaan Nagy
AU  - Jinwoo Kim
AU  - Thomas Reps
AU  - Loris D'Antoni
PY  - 2024
DO  - 10.1145/3689715
UR  - https://arxiv.org/abs/2401.13244
ID  - 2401.13244
ER  -