@misc{indiciae3ac892ff83e0,
  title = {Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods},
  author = {Maurice H. ter Beek and Alessio Ferrari},
  year = {2022},
  url = {https://arxiv.org/abs/2208.05266},
  note = {Source identifier: 2208.05266}
}