Statistics
Publications
1
Citations
18
H-Index
1
Active since
2019
Affiliations
Utrecht University(Current)
Craig Q.H.D. Leek is an author at Utrecht University specializing in computer science, formal specifications, and software design.
Publications per year
2019–2019
1
1
Having Fun in Learning Formal Specifications
Craig Q.H.D. Leek, Orestis Melkonian, Joris ten Tusscher et al. · 2019 · 18 citations
1–1 of 1