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; Rick Meijerink; Roan Oosenbrug; Jelle J. Oostveen; Tijmen van den Pol; Wink M. van Zon (ICSE (SEET), 2019)

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)