TY  - RPRT
TI  - Towards a Coq-verified Chain of Esterel Semantics
AU  - Gérard Berry
AU  - Lionel Rieg
PY  - 2025
UR  - https://arxiv.org/abs/1909.12582
ID  - 1909.12582
ER  -