TY  - RPRT
TI  - Synthesizing Modular Invariants for Synchronous Code
AU  - Pierre-Loic Garoche
AU  - Arie Gurfinkel
AU  - Temesghen Kahsai
PY  - 2014
DO  - 10.4204/eptcs.169.4
UR  - https://arxiv.org/abs/1412.1152
ID  - 1412.1152
ER  -