J. M. Everink

Having Fun in Learning Formal Specifications

Orestis Melkonian, Craig Q.H.D. Leek, Roan Oosenbrug, 2019, ICSE.

Bayesian Inference with Projected Densities

Martin S. Andersen, J. M. Everink, Yiqiu Dong, 2022, SIAM/ASA J. Uncertain. Quantification.

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).