@misc{indiciae6afc07244c37,
  title = {Dezyne: Paving the Way to Practical Formal Software Engineering},
  author = {Rutger van Beusekom and Bert de Jonge and Paul Hoogendijk and Jan Nieuwenhuizen},
  year = {2021},
  doi = {10.4204/eptcs.338.4},
  url = {https://arxiv.org/abs/2108.02962},
  note = {Source identifier: 2108.02962}
}