Craig Q. H. D. Leek | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

I. S. W. B. Prasetya
15 publications
Jelle J. Oostveen
7 publications
Orestis Melkonian
2 publications
Joris ten Tusscher
1 publication
Jan van Bergen
1 publication
J. M. Everink
1 publication
Thomas van der Klis
1 publication
Petar Kostic
1 publication
Rick Meijerink
1 publication
Roan Oosenbrug
1 publication
Tijmen van den Pol
1 publication

research

∙ 03/01/2019

Having Fun in Learning Formal Specifications

There are many benefits in providing formal specifications for our softw...

0 I. S. W. B. Prasetya, et al. ∙