Having Fun in Learning Formal Specifications. - I. S. W. B. Prasetya; Craig Q. H. D. Leek; Orestis Melkonian; Joris ten Tusscher; Jan van Bergen; J. M. Everink; Thomas van der Klis; Petar Kostic; Rick Meijerink; Roan Oosenbrug; Jelle J. Oostveen; Tijmen van den Pol; et al. (CoRR, 2019)

Can Learning Formal Specification Be Fun? - Experience and Perspective. - I. S. W. B. Prasetya; Craig Q. H. D. Leek; Roan Oosenbrug; Petar Kostic; Mike de Vries (ICST Workshops, 2020)