TY  - RPRT
TI  - A Manifesto for Applicable Formal Methods
AU  - Mario Gleirscher
AU  - Jaco van de Pol
AU  - Jim Woodcock
PY  - 2023
DO  - 10.1007/s10270-023-01124-2
UR  - https://arxiv.org/abs/2112.12758
ID  - 2112.12758
ER  -