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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Fingerprint

Dive into the research topics of 'Having fun in learning formal specifications'. Together they form a unique fingerprint.

Keyphrases

Computer Science