TY  - RPRT
TI  - Proceedings First Workshop on Applicable Formal Methods
AU  - Mario Gleirscher
AU  - Jaco van de Pol
AU  - Jim Woodcock
PY  - 2021
DO  - 10.4204/eptcs.349
UR  - https://arxiv.org/abs/2111.07538
ID  - 2111.07538
ER  -