No photo of Wytse Hendrikus Marinus Oortwijn

Wytse Hendrikus Marinus Oortwijn

20152018
If you made any changes in Pure these will be visible here soon.

Research Output 2015 2018

  • 5 Conference contribution
  • 2 Paper
Filter
Paper
2018
1 Citation (Scopus)
22 Downloads (Pure)

An Exercise in Verifying Sequential Programs with VerCors

Joosten, S. J. C., Oortwijn, W., Safari, M. & Huisman, M., 16 Jul 2018. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
File editors
Data structures
2016
119 Downloads (Pure)

Static Verification of Message Passing Programs

Oortwijn, W. H. M., Blom, S. & Huisman, M., Mar 2016. 2 p.

Research output: Contribution to conferencePaperAcademic

File