Having Fun in Learning Formal Specifications.
I. S. W. B. PrasetyaCraig Q. H. D. LeekOrestis MelkonianJoris ten TusscherJan van BergenJ. M. EverinkThomas van der KlisPetar KosticRick MeijerinkRoan OosenbrugJelle J. OostveenTijmen van den PolMike de VriesWink M. van ZonPublished in: CoRR (2019)