Craig Q. H. D. Leek

According to our database, Craig Q. H. D. Leek authored at least 3 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

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, Mike de Vries, Wink M. van Zon

CoRR, 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, Rick Meijerink, Roan Oosenbrug, Jelle J. Oostveen, Tijmen van den Pol, Wink M. van Zon

Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019