Having fun in learning formal specifications.
I. S. W. B. PrasetyaCraig Q. H. D. LeekOrestis MelkonianJoris ten TusscherJan van BergenJ. M. EverinkThomas van der KlisRick MeijerinkRoan OosenbrugJelle J. OostveenTijmen van den PolWink M. van ZonPublished in: ICSE (SEET) (2019)