TY  - RPRT
TI  - Having Fun in Learning Formal Specifications
AU  - I. S. W. B. Prasetya
AU  - Craig Q. H. D. Leek
AU  - Orestis Melkonian
AU  - Joris ten Tusscher
AU  - Jan van Bergen
AU  - J. M. Everink
AU  - Thomas van der Klis
AU  - Petar Kostic
AU  - Rick Meijerink
AU  - Roan Oosenbrug
AU  - Jelle J. Oostveen
AU  - Tijmen van den Pol
AU  - Mike de Vries
AU  - Wink M. van Zon
PY  - 2019
UR  - https://arxiv.org/abs/1903.00334
ID  - 1903.00334
ER  -