@misc{indiciaea6a57256337f,
  title = {Having Fun in Learning Formal Specifications},
  author = {I. S. W. B. Prasetya and Craig Q. H. D. Leek and Orestis Melkonian and Joris ten Tusscher and Jan van Bergen and J. M. Everink and Thomas van der Klis and Petar Kostic and Rick Meijerink and Roan Oosenbrug and Jelle J. Oostveen and Tijmen van den Pol and Mike de Vries and Wink M. van Zon},
  year = {2019},
  url = {https://arxiv.org/abs/1903.00334},
  note = {Source identifier: 1903.00334}
}