@misc{indiciaecd72d08ace7a,
  title = {Proceedings First Workshop on Applicable Formal Methods},
  author = {Mario Gleirscher and Jaco van de Pol and Jim Woodcock},
  year = {2021},
  doi = {10.4204/eptcs.349},
  url = {https://arxiv.org/abs/2111.07538},
  note = {Source identifier: 2111.07538}
}