@misc{indiciae6711be9e752f,
  title = {Formal Methods: From Academia to Industrial Practice. A Travel Guide},
  author = {Marieke Huisman and Dilian Gurov and Alexander Malkis},
  year = {2024},
  url = {https://arxiv.org/abs/2002.07279},
  note = {Source identifier: 2002.07279}
}