TY  - RPRT
TI  - Applying a Formal Method in Industry: a 25-Year Trajectory
AU  - Thierry Lecomte
AU  - David Deharbe
AU  - Etienne Prun
AU  - Erwan Mottin
PY  - 2020
UR  - https://arxiv.org/abs/2005.07190
ID  - 2005.07190
ER  -