Personal profile

Link to Utrecht University staff page

Fingerprint

Dive into the research topics where Mike de Vries is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 2 Similar Profiles
  • Having fun in learning formal specifications

    Prasetya, I. S. W. B., Leek, C. Q. H. D., Melkonian, O., Tusscher, J. T., Bergen, J. V., Everink, J. M., Klis, T. V. D., Kostic, P., Meijerink, R., Oosenbrug, R., Oostveen, J. J., Pol, T. V. D., Vries, M. D. & Zon, W. M. V., 1 Mar 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training, ICSE-SEET 2019. IEEE, p. 192-196 5 p. 8802100

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

    Open Access
    File