TY  - RPRT
TI  - Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
AU  - Serra Z. Dane
AU  - Jiawei Chen
AU  - Marc Pouzet
AU  - Jean-Baptiste Jeannin
PY  - 2026
UR  - https://arxiv.org/abs/2605.04377
ID  - 2605.04377
ER  -