TY  - RPRT
TI  - Structural Temporal Logic for Mechanized Program Verification
AU  - Eleftherios Ioannidis
AU  - Yannick Zakowski
AU  - Steve Zdancewic
AU  - Sebastian Angel
PY  - 2025
DO  - 10.1145/3763091
UR  - https://arxiv.org/abs/2410.14906
ID  - 2410.14906
ER  -