@misc{indiciaebfa8967ca190,
  title = {Applying a Formal Method in Industry: a 25-Year Trajectory},
  author = {Thierry Lecomte and David Deharbe and Etienne Prun and Erwan Mottin},
  year = {2020},
  url = {https://arxiv.org/abs/2005.07190},
  note = {Source identifier: 2005.07190}
}