TY  - RPRT
TI  - Formal Methods: From Academia to Industrial Practice. A Travel Guide
AU  - Marieke Huisman
AU  - Dilian Gurov
AU  - Alexander Malkis
PY  - 2024
UR  - https://arxiv.org/abs/2002.07279
ID  - 2002.07279
ER  -