Roan Oosenbrug

Having Fun in Learning Formal Specifications

Orestis Melkonian, Wishnu Prasetya, Craig Q.H.D. Leek, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET).

Can Learning Formal Specification Be Fun? —Experience and Perspective

I. S. W. B. Prasetya, Craig Q.H.D. Leek, Roan Oosenbrug, 2020, 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).