Mike de Vries

Identifiers

• name variant Mike de Vries 0.50 · backfill

Papers (1)

1. Having Fun in Learning Formal Specifications cs.SE · 2019 · author #13

Mentions

No mention provenance yet.

Frequent Coauthors

• Craig Q.H.D. Leek 1 shared papers
• I.S.W.B. Prasetya 1 shared papers
• Jan van Bergen 1 shared papers
• Jelle J. Oostveen 1 shared papers
• J.M. Everink 1 shared papers
• Joris ten Tusscher 1 shared papers
• Orestis Melkonian 1 shared papers
• Petar Kostic 1 shared papers
• Rick Meijerink 1 shared papers
• Roan Oosenbrug 1 shared papers
• Thomas van der Klis 1 shared papers
• Tijmen van den Pol 1 shared papers
• Wink M. van Zon 1 shared papers